Lec14-Dijkstra-annotated.pdf