Algebra and Coalgebra in Computer Science - Corradini, Andrea; Cîrstea, Corina; Klin, Bartek (Springer Berlin Heidelberg, 2011)