Algebra and Coalgebra in Computer Science - Mossakowski, Till; Haveraaen, Magne; Kanade, Takeo; Montanari, Ugo; Kittler, Josef (Springer Berlin Heidelberg, 2007)