• a 25-minute visit with Dijkstra, filmed in Austin by Dutch public TV in autumn 2000.
   
• a 1992 lecture at the 25th Joint International Seminar on the Teaching of Computing Science (at the University of Newcastle-upon-Tyne)
   
• The Power of Counting Arguments (Cadence Labs Distinguished Speaker Series, 16 January 2001)
   
• speeches at the Dijkstra retirement symposium's banquet

Revised Mon, 5 Dec 2005