Document Versions

An axiomatic basis for computer programming –C. A. R. Hoare — 1969 — COMMUNICATIONS OF THE ACM
An axiomatic basis for computer programming –C. A. R. Hoare — 1969 — Communications of the ACM