Reflections on the Work of C.A.R. Hoare - Roscoe, A.W; Jones, Cliff B; Wood, Kenneth R (Springer Verlag London Limited, 2010)
Keywords: Computer Science; Electronic data processing; History of Computing; Hoare, C. A. R. (Charles Antony Richard), 1934; Computer Informatik