1. A final coalgebra theorem;Aczel,1989
2. J. Adámek, H.-E. Porst, From Varieties of Algebras to Covarieties of Coalgebras, Electronic Notes in Theoretical Computer Science, vol. 44 (1), 2001. http://www.elsevier.nl/locate/entcs.
3. S. Awodey, J. Hughes, The coalgebraic dual of Birkhoff's variety theorem, Technical Report CMU-PHIL-109, Department of Philosophy, Carnegie Mellon University, 2000.
4. S. Awodey, J. Hughes, Modal operators and the formal dual of Birkhoff's completeness theorem, Math. Struct. Comput. Sci., 2002 (to appear).
5. Subcategories defined by implications;Banaschewski;Houston J. Math.,1976