http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html

(Via Edsger Dijkstra – Wikipedia, the free encyclopedia)