I'm happy to see this. I should have submitted it when I found it. The version I found appears to be handwritten by Dijkstra and I like it better that way.

http://www.cs.utexas.edu/~EWD/ewd08xx/EWD831.PDF