Hoare (1969)

Hoare C.A.R. (1969)

An axiomatic basis for computer programming

CACM 12, pp. 576-580, 583