Springer Computer Science, 17 Jan 2014 A snapshot from the Computing Review by Jacques Carette on "Dijkstra, Floyd and Warshall meet Kleene" by Höfner P., Möller B. …