1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories. John Wiley & Sons, Chichester (1990)
2. Lecture Notes in Computer Science;P. Aczel,1989
3. Barr, M.: Terminal coalgebras in well-founded set theory. Theoretical Computer Science 144(2), 299–315 (1993)
4. Gumm, H.P., Schöder, T.: Coalgebras of bounded type. Math. Struct. in Comp. Science 12, 565–578 (2002)
5. Gumm, H.P., Schöder, T.: Types and coalgebraic structure, Tech. report, Philipps-Universität Marburg (to appear in Algebra Universalis) (2003)