Sawitzki. A Symbolic Approach to the All-pairs Shortest-paths Problem. Springer Berlin Heidelberg, 2004, doi:10.1007/978-3-540-30559-0_13.