Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings - Alexander Kurz, Marina Lenisa, Andrzej Tarlecki ((Lecture Notes in Computer Science))