An Axiomatic Definition of the Programming Language PASCAL - Hoare, C (1972)