A tutorial on (co)algebras and (co)induction, Bulletin of the EATCS 62 (1996)

by B Jacobs, J Rutten