Work by Edsger W. Dijkstra (source code)

= Work by Edsger W. Dijkstra