A Tutorial on (Co)Algebras and (Co)Induction

@article{coalg-coind97,
   apice = {CoalgCoindTutorialBullEatcs62},
   author = {Jacobs, Bart and Rutten, Jan},
   journal = {Bulletin of the European Association for Theoretical Computer Science},
   pages = {222--259},
   scholar = {678090575657123815},
   title = {A Tutorial on (Co)Algebras and (Co)Induction},
   volume = 62,
   year = 1997
}