Agree. I spent some time looking through the archive of his manuscripts at UT (http://www.cs.utexas.edu/~EWD/ http://www.cs.utexas.edu/~EWD/) and there's some

Agree. I spent some time looking through the archive of his manuscripts at UT (http://www.cs.utexas.edu/~EWD/ http://www.cs.utexas.edu/~EWD/) and there's some good stuff in there. http://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD303.html http://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD303.... is the one that led me there and is a pretty good one. ("On the reliability of programs.")