Hoare (1969)
Hoare C.A.R. (1969)
An axiomatic basis for computer programming
CACM 12, pp. 576-580, 583