Another great one:

http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EW...