An axiomatic basis for computer programming, (1969)

by C A R Hoare
Venue:Commun. ACM