An axiomatic definition of the programming language pascal (1973)

by C A R Hoare, N Wirth
Venue:Acta Informatica