Algebra and coalgebra in computer science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings.