"Fiorina: Trump is a Clinton Christmas gift, I'm the lump of coal; US doing enough to defeat ISIS?". "Fox News Sunday" with Chris Wallace, www.foxnews.com. December 20, 2015.
"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.
"Joel and Ethan Coen on how they turned Hollywood history into the hysterical ‘Hail, Caesar!’". Interview with Drew McWeeny, uproxx.com. August 2, 2016.
"'Lagos shows how a city can recover from a deep, deep pit': Rem Koolhaas talks to Kunlé Adeyemi". Interview with Chris Michael, www.theguardian.com. February 26, 2016.