"Sunday Interview - Seymour Papert/ Computers in the Lives of Our Children/ an Mit Mathematician and Philosopher Is Exploring How Technology Can Educate the Next Generation - and Their Parents". www.sfgate.com. February 2, 1997.
"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.