Algebra and Coalgebra in Computer Science - Kurz, Alexander; Kanade, Takeo; Lenisa, Marina; Tarlecki, Andrzej; Kittler, Josef (Springer Berlin Heidelberg, 2009)