An Axiomatic Basis for Computer Programming (1969)

by C A R Hoare
Venue:Communic. ACM