@book{OPUS4-58786,
  title     = {Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009; Proceedings},
  editor    = {Rudolf Berghammer and Ali Mohamed Jaoua and Bernhard M{\"o}ller},
  isbn      = {9783642046384},
  doi       = {10.1007/978-3-642-04639-1},
  year      = {2009},
}