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