Source: https://lara.epfl.ch/w/_media/dijkstra.pdf