Algorithm 135: Crout with equilibration and iteration. - William M. McKeeman (Commun. ACM, 1962)

Certification of Algorithm 135: Crout with equilibration and iteration. - William M. McKeeman (Commun. ACM, 1962)

Algorithm 145: Adaptive numerical integration by Simpson's rule. - William M. McKeeman (Commun. ACM, 1962)

Algorithm 146: Multiple integration. - William M. McKeeman (Commun. ACM, 1962)

Certification of algorithm 145: adaptive numerical integration by Simpson's rule. - William M. McKeeman (Commun. ACM, 1963)

Algorithm 198: adaptive integration and multiple integration. - William M. McKeeman (Commun. ACM, 1963)

Algorithm 182: nonrecursive adaptive integration. - William M. McKeeman; Lawrence G. Tesler (Commun. ACM, 1963)

Remark on algorithm 135: Crout with equilibration and iteration. - William M. McKeeman (Commun. ACM, 1964)

Algorithm 239: Free field read. - William M. McKeeman (Commun. ACM, 1964)

Certification of algorithm 182: Nonrecursive adaptive integration. - William M. McKeeman; Lawrence G. Tesler; Harold S. Butler (Commun. ACM, 1964)

Peephole optimization. - William M. McKeeman (Commun. ACM, 1965)

Algorithm 268: ALGOL 60 reference language editor [R2]. - William M. McKeeman (Commun. ACM, 1965)

An approach to computer language design. - William M. McKeeman (1966)

Language directed computer design. - William M. McKeeman (AFIPS Fall Joint Computing Conference, 1967)

Representation Error for Real Numbers in Binary Computer Arithmetic. - William M. McKeeman (IEEE Trans. Electron. Comput., 1967)

The XPL compiler generator system. - William M. McKeeman; James J. Horning; Edward Clark Nelson; David B. Wortman (AFIPS Fall Joint Computing Conference (1), 1968)

R68-28 A Microprogrammed Implementation of EULER on IBM System/360 Model 30. - William M. McKeeman (IEEE Trans. Computers, 1968)

Feedback-free Modularization of Compilers. - William M. McKeeman; Frank DeRemer (Fachtagung über Programmiersprachen, 1974)

Computer design evaluation using programming language primitives. - William M. McKeeman (SIGARCH Comput. Archit. News, 1974)

On Preventing Programming Languages from Interfering with Programming. - William M. McKeeman (IEEE Trans. Software Eng., 1975)

Compiler Construction. - William M. McKeeman (Compiler Construction, 1976)

Symbol Table Access. - William M. McKeeman (Compiler Construction, 1976)

Programming Language Design. - William M. McKeeman (Compiler Construction, 1976)

Corporate integration through systems software. - William M. McKeeman (SIGMINI, 1976)

Mechanizing Bankers' Morality. - William M. McKeeman (Comput. Lang., 1976)

On An Overview. - William M. McKeeman (ICSE, 1979)

Ada syntax chart. - Frank DeRemer; Thomas J. Pennello; William M. McKeeman (ACM SIGPLAN Notices, 1981)

Experience with a Software Engineering Project Course. - William M. McKeeman (IEEE Trans. Software Eng., 1987)

Graduation Talk at Wang Institute. - William M. McKeeman (Computer, 1989)

Separating Concerns in Software Quality. - William M. McKeeman (ACM Comput. Surv., 1996)

Differential Testing for Software. - William M. McKeeman (Digit. Tech. J., 1998)