Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings - Mossakowski, Till; Montanari, Ugo; Haveraaen, Magne (Springer Berlin Heidelberg, 2007)