Refinements to Dijkstra