Edijkstra: the end of computing science?

Source: cs.utexas.edu