Edsger W. Dijkstra quotes