A Tutorial on (Co)Algebras and (Co)Induction (1997)

by Bart Jacobs, Jan Rutten
Venue:EATCS Bulletin