An axiomatic definition of the programming language Pascal. Acta lnformatica 2 (1973)

by C A R Hoare, N Wirth