1. Final coalgebras are ideal completions of initial algebras;Adámek;Journ. of Logic and Computation,2002
2. Solving reflexive domain equations in a category of complete metric spaces;America;Journ. Comp. Syst. Sci,1989
3. Terminal coalgebras in well-founded set theory;Barr;Theor. Comp. Sci.,1993
4. Bénabou, J., Distributors at work, Lecture notes taken by T. Streicher (2000), www.mathematik.tu-darmstadt.de/~streicher/FIBR/DiWo.pdf.gz.
5. Corecursive algebras: A study of general structured corecursion;Capretta,2009