Dijkstra's specification for a million dollar computer in 1965 [pdf]
cs.utexas.edu