McPherson, J. C. review of Hoare 1962

[ACM] (1963) ACM Computing Reviews 4(01) January-February, 1963  

Languages mentioned Elliott ALGOL {1960} Hoare's seminal ALGOL 60