Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Link (Any fulltext)
http://afp.sourceforge.net/LICENSE (Copyright transfer agreement)
Rizkallah, C. (2013). An Axiomatic Characterization of the Single-source Shortest Path Problem. Archive of Formal Proofs.