"Inventor Dean Kamen Says Healthcare Debate "Backward Looking"". Interview with Jim Meigs and Jerry Beilinson, www.popularmechanics.com. August 6, 2009.
"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.