A tutorial on (co)algebras and (co)induction (1996)

by B P F Jacobs, J J M M Rutten
Venue:Bulletin of the EATCS 62