30 Dec
2009
30 Dec
'09
11:04 a.m.
For information, there is an (incomplete?) set of transcriptions of Dijkstra's 'EWD' notes here: http://www.cs.utexas.edu/users/EWD/transcriptions/transcriptions.html g