Computing the shortest path: A search meets graph theory
Fibonacci Heaps And Their Uses In Improved Network Optimization Algorithms