Universal Algebra and Coalgebra - Klaus Denecke, Shelly L. Wismath - Google Books

http://books.google.de/books?id=NgTAzhC8jVAC&pg=PA214

The purpose of this book is to study the structures needed to model objects in universal algebra, universal coalgebra and theoretical computer science. Universal algebra is used to describe different kinds of algebraic structures, while coalgebras are used…