Новиков, Ф. А.; Лебедев, С. С. The Necessary and Sufficient Condition for Dijkstra’s Algorithm Applicability. CTE 2017, 5-13.