Hoare, C.A.R. and Wirth, N. "An axiomatic definition of the programming language PASCAL" pp335-355

(1973) Acta Informatica 2(4) December, 1973  

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