Added Dijkstra specs