Alexander Kurz Marina Lenisa Andrzej Tarlecki Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings 5728 2009 http://dx.doi.org/10.1007/978-3-642-03741-2 978-3-642-03740-5 CALCO Lecture Notes in Computer Science Springer db/conf/calco/calco2009.html