@article{BerghammerJaouaMoeller2009,
  author    = {Rudolf Berghammer and Ali Mohamed Jaoua and Bernhard M{\"o}ller},
  title     = {Relations and Kleene Algebra in computer science},
  journal   = {Lecture Notes in Computer Science},
  volume    = {5827},
  pages     = {V},
  doi       = {10.1007/978-3-642-04639-1},
  year      = {2009},
}