Selected Writings on Computing: A personal Perspective (Monographs in Computer Science)
A Discipline of Programming
Predicate Calculus and Program Semantics (Monographs in Computer Science)