The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985 - Hoare, C. A. R. (Charles Antony Richard) (Clarendon Press ; Oxford University Press, 1986)