A Classical mind : essays in honour of C.A.R. Hoare /
Roscoe, A. W.
Hoare, C. A. R.(Charles Antony Richard),1934-
New York ; London : Prentice Hall,
1994.