A formal basis for the heuristic determination of minimum cost paths
by P. E. Hart, N. J. Nilsson, and B. Raphael
IEEE Transactions on Systems, Science, and Cybernetics, vol. SSC-4, no. 2, pp. 100-107, 1968.
