1. Abstract and Concrete Categories;Adámek,1990
2. Locally Presentable and Accessible Categories;Adámek,1994
3. D. Ancona, M. Cerioli, E. Zucca, Extending CASL by late binding in: C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, Lecture Notes in Computer Science, Vol. 1827 Springer, Berlin, 2000. pages 53–72.
4. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P.D. Mosses, D. Sannella, A. Tarlecki, CASL: the Common Algebraic Specification Language, Theoret. Comput. Sci. 286 (this Vol.) (2002) 153–196.
5. Free objects and equational deduction for partial conditional specifications;Astesiano;Theoret. Comput. Sci.,1995