"How Did Software Get So Reliable Without Proof?". Lecture Notes in Computer Science vol. 1051, 1996 pp. 1-17: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings, March 6, 1996.
"The Emperor's Old Clothes". Tony Hoare's lecture at the 1980 ACM Turing Award in Nashville, Tennessee; "Communications of the ACM", Volume 24, Issue 2, dl.acm.org. February 1981.