Dijkstra wrote something (in the same vein, if not an exact topic-match) similar but a bit more strident in '85 http://www.cs.utexas.edu/users/EWD/transcriptio

Dijkstra wrote something (in the same vein, if not an exact topic-match) similar but a bit more strident in '85 http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD917.html http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EW...