Title: The foundations of program verification
First published: 1984
Subjects: Verification, Computer programs