1. Finiteness and Decidability, I;Acuña-Ortega,1979
2. On locally simply connected toposes and their fundamental groups;Barr;Cahiers de Top. et Géom. Diff. Cat.,1981
3. Matrices, relations and group representations;Carboni;J. Algebra,1991
4. A. Carboni, Some free constructions in realizability and proof theory, to appear in J. Pure and Appl. Algebra, to appear.
5. Introduction to extensive and distributive categories;Carboni;J. Pure and Appl. Algebra,1993