Click Dijkstra-correctness.pdf link to view the file.