Acta Informatica 2(4) December, 1973

Acta Informatica  

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