Relations and kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International conference on Applications of Kleene Algebra, RelMiCS/AKA 2008 : Frauenwörth, Germany, April 7-11, 2008 : proceedings - Berghammer, Rudolf, 1952-; Möller, Bernhard, 1953-; Struth, Georg (Lecture notes in computer science, 2008)