@Book{BMS03, Author = "Berghammer, R. and M{\"o}ller, B. and Struth, G.", Year = "2003", Title = "{Relational and Kleene-Algebraic Methods in Computer Science - Proceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra}", Series = "Lecture Notes in Computer Science", Number = "3051", Publisher = "Springer-Verlag", Comment = "" }