Algebra and Coalgebra in Computer Science - CALCO; Fiadeiro, José Luiz; Kanade, Takeo; Harman, Neil; Roggenbach, Markus; Rutten, Jan; Fiadeiro, José Luis (Springer Berlin / Heidelberg, 2005)