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 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.