A classical mind : essays in honour of C.A.R. Hoare / - Roscoe, A. W.; Hoare, C. A. R. (Prentice Hall,, 1994)