Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Till Mossakowski, Ugo Montanari, Magne Haveraaen ((Lecture Notes in Computer Science))