Dijkstra's specification for a million dollar computer in 1965 [pdf] | Dark Hacker News