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
C.A.R. Hoare and N. Wirth