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, Rudolf; Möller, Bernhard; Struth, Georg (Springer Berlin Heidelberg, 2004)