The mathematics of programming an inaugural lecture delivered before the Univ. of Oxford on 17 Oct. 1985 - Hoare, Charles A. R. 1934- (Clarendon Pr., 1986)