An axiomatic definition of the programming language Pascal - Hoare, Charles A. R. 1934-; Wirth, Niklaus 1934-2024 (Technische Hochschule <Zürich> / Fachgruppe Computerwissenschaften: Berichte der Fachgruppe Computerwissenschaften, 1972)