Dijkstra's "On the fact that the ocean has two sides"
cs.utexas.edu