Skip to main content

An Axiomatic Definition of the Programming Language PASCAL

C.A.R. Hoare and N. Wirth

Journal
Acta Informatica
Number
4
Pages
335–355
Volume
2
Year
1973