Covarieties and complete covarieties

Barr, 1994, Terminal coalgebras in well-founded set theory, Theoret. Comput. Sci., 124, 10.1016/0304-3975(94)90060-4 H.P. Gumm, Functors for coalgebras, Algebra Universalis, to appear. B. Jacobs, Objects and classes, co-algebraically, in: B. Freitag et al. (Eds.), Object-Orientation with Parallelism and Persistence, Kluwer, Dordrecht, 1996. B. Jacobs, J.J.M.M. Rutten, A tutorial on (co)algebras and (co)induction, Bulletin of EATCS, Vol. 62, 1997. L.S. Moss, Coalgebraic logic, Annals of Pure and Applied Logic, to appear. Rutten, 2000, Universal coalgebra, Theoret. Comput. Sci., 249, 3, 10.1016/S0304-3975(00)00056-6