1. F. Borceux,Handbook of Categorial Algebra, Vol. II. CUP, Cambridge (1994).
2. C. Cîrstea, A Coequational Approach to Specifying Behaviours, edited by B. Jacobs and J. Rutten,Coalgebraic Methods in Computer Science. Elsevier Science,Electron. Notes Theor. Comput. Sci.19(1999) 173-194.
3. C. Cîrstea, An Algebra-Coalgebra Framework for System Specification, edited by H. Reichel,Coalgebraic Methods in Computer Science. Elsevier Science,Electron. Notes Theor. Comput. Sci.33(2000) 81-112.
4. C. Cîrstea,Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems, Ph.D. Thesis. University of Oxford (2000) http://www.comlab.ox.ac.uk/oucl/work/corina.cirstea/thesis.html
5. A. Corradini, A Completeness Result for Equational Deduction in Coalgebraic Specification, edited by F. Parisi-Presicce,Recent Trends in Algebraic Development Techniques. Springer,Lecture Notes in Comput. Sci.1376(1998) 190-205.