@article{BerghammerMoellerStruth2010,
  author    = {Rudolf Berghammer and Bernhard M{\"o}ller and Georg Struth},
  title     = {Relations and Kleene algebras in computer science},
  journal   = {The Journal of Logic and Algebraic Programming},
  volume    = {79},
  number    = {8},
  pages     = {705 -- 706},
  doi       = {10.1016/j.jlap.2010.07.011},
  year      = {2010},
}