Dijkstra's documentation
...