Systematic Programming: An Introduction (Prentice-Hall Series in Automatic Computation)

Algorithms + Data Structures = Programs (Prentice-Hall Series in Automatic Computation)

Algorithms and Data Structures

A Discipline of Programming

Deep Learning (Adaptive Computation and Machine Learning series)

Elements of Programming

The Art of Computer Programming, Volumes 1-4A Boxed Set

From Mathematics to Generic Programming

The Theory of Parsing, Translation, and Compiling (Volume I: Parsing)

The Science of Programming (Monographs in Computer Science)