Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Fiadeiro, José Luis Heftet / 2005 / Engelsk