Program Correctness Proofs
C.A.R. Hoare
Book Title
Formal Aspects of Computing Science‚ Newcastle upon Tyne‚ 3–6 September‚ 1974
Editor
B. Shaw
Pages
7–45
Publisher
Newcastle University
Year
1975
C.A.R. Hoare