Bulletin of the European Association for Theoretical Computer Science

works as
journal containing
Publication_icon.svg A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten