C. A. R. Hoare Software Engineering: A Keynote Address. 1-4 1978 conf/icse/1978 ICSE db/conf/icse/icse78.html#Hoare78 http://dl.acm.org/citation.cfm?id=803183