Not sure how many are aware of this...
http://www.cs.utexas.edu/users/UTCS/notices/dijkstra/ewdobit.html