1. Final Coalgebras are Ideal Completions of Initial Algebras;Adámek;Journ. of Logic and Computation,2002
2. A logic for coalgebraic simulation;Baltag,2000
3. The Lambda Calculus. Its Syntax and Semantics;Barendregt,1984
4. A. Carboni, G. M. Kelly, and R.J. Wood. A 2-categorical approach to change of base and geometric morphisms I. Report 90–1, Dep. of Pure Mathematics, Univ. of Sydney, 1990.
5. A coinduction principle for recursive data types based on bisimulation;Fiore;Inf. & Comp,1996