An axiomatic basis for computer programming (1969)

by C. A. R. Hoare
Venue:COMMUNICATIONS OF THE ACM