A Kata about Dijkstra's Algorithm