Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers - MacCaull, Wendy; Winter, Michael; Düntsch, Ivo (Springer Berlin Heidelberg, 2006)