A Tutorial on (1997)

by B Jacobs, J Rutten
Venue:Co)Algebras and (Co)Induction, EATCS Bulletin 62