A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science 62 (1997)

by B Jacobs, J Rutten