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

by B Jacobs, J Rutten
Venue:EATCS Bulletin,