1. A general axiomatizability theorem formulated in terms of cone-injective subcategories;Andréka,1981
2. Garrett Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433–454, 1935.
3. Rod Burstall and Răzvan Diaconescu. Hiding and behavior: an institutional approach. In William A. Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 75–92. Prentice Hall, 1994. Also Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992.
4. Corina Cîrstea. A semantical study of the object paradigm, 1996. Thesis submitted for transfer to DPhil status, University of Oxford.
5. Corina Cîrstea. Coalgebra semantics for hidden algebra: parameterized objects and inheritance, 1997. Paper presented at the 12th Workshop on Algebraic Development Techniques.