Edsger Dijkstra

See EwDijkstra.