 An Axiomatic Basis for Computer Programming by Tony Hoare

By Tony Hoare, credited as C. A. R. Hoare. Communications of the ACM 12(10), 576–580, 583 (October 1969).

DOI: doi.org/10.1145/363235.363259

Paper scan: sites.cs.ucsb.edu/~kemm/courses/cs266/acmhoare69.pdf

Cited passages: §3.4, iteration; §4, reservations.