The mathematics of programming an inaugural lecture delivered before the University of Oxford on 17th October 1985
Hoare, C. A. R.(Charles Antony Richard),1934-
Oxford Clarendon
1986
Electronic digital computers
Programming (Mathematics)