Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop on COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers
International Seminar on Relational Methods in Computer Science
Bok Engelsk 2006