Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / - Berghammer, R.; Möller, Bernhard,; Struth, Georg. (Lecture notes in computer science,)