An Axiomatic Definition of the Programming Language PASCAL (1972)

(untitled) - Hoare, C