1. Abstract and Concrete Categories;Adámek,1990
2. Adjoint machines, state-behaviour machines, and duality;Arbib;Journ. of Pure and Applied Algebra,1975
3. Handbook of Categorical Algebra;Borceux,1994
4. J. R. B. Cockett and D. Spencer. Strong categorical datatypes I. In R.A.G. Seely, editor, Category Theory 1991, number 13 in CMS Conferece Proceedings.
5. A complete calculus for equational deduction in coalgebraic specification;Corradini,1998