An Axiomatic Definition of the Programming Language PASCAL (1973)

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