The Dijkstra Archive
cs.utexas.edu