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

by Bart Jacobs, Jan Rutten
Venue:EATCS Bulletin