An Axiomatic Basis of Computer Programming
C. A. R. Hoare
Note
Handwritten manuscript‚ undated; late draft of ECS[15]
Year
1968?
C. A. R. Hoare