A Programming Approach to Computability (Monographs in Computer Science)

The Science of Programming (Monographs in Computer Science) by Gries

Invariants: A Generative Approach to Programming (Texts in Computer Science)

Computer Science: A Structured Programming Approach Using C (3rd Edition)

Programming Approach to Computability by A. J. Kfoury Computer Science Programs

The Science of Programming (Monographs in Computer Science), Gries, David, 97803

Computability (Monographs in Theoretical Computer Science. An EATCS Series)

The Science of Programming (Monographs in Computer Science), USED-Good, Gries, D