Acta Informatica 3(3) July 22, 1974
(1974)
Hoare, C. A. R. and Wirth, N. (1974)
Hoare, C. A. R. and Wirth, N. "Addenda and Corrigenda to
An Axiomatic Definition of the Programming Language Pascal
" pp296-296