Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings - Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (Springer Berlin Heidelberg : Imprint: Springer, 2009)