@article{BerghammerJaouaMoeller2011,
  author    = {Rudolf Berghammer and Ali Mohamed Jaoua and Bernhard M{\"o}ller},
  title     = {Relations and Kleene algebras in computer science},
  journal   = {The Journal of Logic and Algebraic Programming},
  volume    = {80},
  number    = {6},
  pages     = {219 -- 220},
  doi       = {10.1016/j.jlap.2011.04.002},
  year      = {2011},
}