An Axiomatic Definition of the Programming Language PASCAL - Hoare, C; Wirth, N (Acta Informatica, 1973)