John R. Thompson
Northwestern University, Evanston, Illinois
An axiomatic basis for computer programming
Communications of the ACM
Proofs, program correctness, and software engineering
ACM SIGPLAN Notices