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

by B Jacobs, J Rutten
Venue:Bull. EATCS