[bglug] [OT e macabro ma chissenefrega] E' morto Dijkstra

[mauro]

http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html

un assaggio di quello che si puo' trovare su
http://www.cs.utexas.edu/users/EWD/

ciao
Mauro