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