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

   page       BibTeX_logo.png   
Bart Jacobs, Jan Rutten
Bulletin of the European Association for Theoretical Computer Science 62, pp. 222-259
1997