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

by Bart Jacobs, Jan Rutten
Venue:University of California at San