Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings - José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten ((Lecture Notes in Computer Science))