Dijkstra Refined