The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17th October 1985 by C. A. R. Hoare. ISBN 0199515506. Published by Clarendon in 1986. Publication and catalogue information, links to buy online and reader comments.