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

by B Jacobs, J Rutten
Venue:In ObjectOriented Programming, Systems, Languages and Applications (OOPSLA