An axiomatic definition of the programming language Pascal - Hoare, Charles A. R. 1934-; Wirth, Niklaus 1934-2024 (International Summer School on Structured Programming and Programmed Structures <1973, München>: Lecture notes)