An axiomatic definition of the programming language Pascal - Hoare, Charles A. R. 1934-; Wirth, Niklaus 1934-2024 (ETH, 1972)