An introduction to (co)algebras and (co)induction (2011)

by B Jacobs, J Rutten
Venue:Advanced Topics in Bisimulation and Coinduction