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

by B Jacobs, J J M M Rutten
Venue:Advanced topics in bisimulation and coinduction, volume 52 of Cambridge Tracts in Theoretical Computer Science