Algebra and Coalgebra in Computer Science - Fiadeiro, José Luis (Springer Berlin Heidelberg, 2020)