Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings - Fiadeiro,José Luis; Harman,Neil; Roggenbach,Markus; Rutten,Jan (Springer London, Limited)