A classical mind : essays in honour of C.A.R. Hoare - Roscoe, A. W.; Hoare, C. A. R. (Charles Antony Richard) (Prentice-Hall international series in computer science, 1994)