Hoare, C. A. R. and Wirth, N. "Addenda and Corrigenda to An Axiomatic Definition of the Programming Language Pascal" pp296-296

(1974) Acta Informatica 3(3) July 22, 1974  

Languages mentioned Pascal {1970} Wirth's development of the Algol-W proposal