Algebra and Coalgebra in Computer Science - Heckel, Reiko; Milius, Stefan; Milius, Stefan (Springer Berlin Heidelberg, 2013)