Algebra and Coalgebra in Computer ScienceMagne Haveraaen, Ugo Montanari, Till Mossakowski · First published 2007Open the Tome
