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