Is There a Mathematical Basis for Computer Programming?
C.A.R. Hoare
Journal
NAG Newsletter
Pages
6–15
Volume
2
Year
1981
C.A.R. Hoare