Numerical methods. - Prentice-Hall, 1974. - (Prentice-Hall Series in Automatic Computation).
Solving least squares problems. - Prentice-Hall, 1974. - (Prentice-Hall Series in Automatic Computation).
The theory of parsing, translation, and compiling. Vol.2: Compiling. - Prentice-Hall, 1973. - (Prentice-Hall Series in Automatic Computation).
Currents in the theory of computing. - Prentice-Hall, 1973. - (Prentice-Hall Series in Automatic Computation).
Operating system principles. - Prentice-Hall, 1973. - (Prentice-Hall Series in Automatic Computation).
Systematic programming. An introduction. - Prentice-Hall, 1973. - (Prentice-Hall Series in Automatic Computation).
The theory of parsing, translation, and compiling. Vol.1: Parsing. - Prentice-Hall, 1972. - (Prentice-Hall Series in Automatic Computation).
Numerical initial value problems on ordinary differential equations. - Prentice-Hall, 1971. - (Prentice-Hall Series in Automatic Computation).
Computation : Finite and infinite machines. - Prentice-Hall, 1967. - (Prentice-Hall Series in Automatic Computation).
Interval analysis. - Prentice-Hall, 1966. - (Prentice-Hall Series in Automatic Computation).