An Axiomatic Definition of the Programming Language PASCAL (Acta Informatica, 1973)

(untitled) - Hoare, C; Wirth, N