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
/ Rudolf Berghammer (eds.) : Springer, 2004