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