An axiomatic basis for computer progrsmmlng (1969)

by C A R Hoare
Venue:Communications of ACM