@misc{Hfner_12_2,
    author           = {H\"ofner, Peter},
    booktitle        = {Workshop on Lattices and Relations},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6568.pdf},
    title            = {Kleene Modules for Routing Procedures},
    year             = {2012}
  }