Reiko Heckel, Stefan Milius Algebra and Coalgebra in Computer Science - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642402067 Subjects--Index Terms: Theory of Computation; Software Engineering; Quantum Computing; Symbolic and Algebraic Manipulation