On a Methodology of Design(cs.utexas.edu)

http://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD317.html