Dijkstra, Floyd and Warshall meet Kleene
scientific article; zbMATH DE number 6148333
scientific article