@article{Hfner_Mller_12,
    author           = {H\"ofner, Peter and M\"oller, Bernhard},
    doi              = {10.1007/s00165-012-0245-4},
    journal          = {Formal Aspects of Computing (FAOC)},
    month            = jul,
    number           = {4-6},
    pages            = {459--476},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5506.pdf},
    title            = {{Dijkstra}, {Floyd} and {Warshall} Meet {Kleene}},
    volume           = {24},
    year             = {2012}
  }