Title: On logic and program verification
First published: 1975
Subjects: Computer programming, Programming languages (Electronic computers)