Artin, M., Grothendieck, A. and Verdier, J. L. (1972) Théorie des Topos (SGA 4, tome I). Springer-Verlag Lecture Notes in Mathematics 269.
Bénabou, J. (1991) Some remarks on free monoids in a topos. In: Category Theory, Springer-Verlag Lecture Notes in Mathematics 1488 20–29.
Carboni, A., Kelly, G. M. and Wood, R. J. (1991) A 2-categorical approach to change of base and geometric morphisms I. Cahiers Top. Géom Diff. 32 47–95.
Day, B. (1972) A reflection theorem for closed categories. J. Pure Appl. Alg. 2 1–11.
Diers, Y. (1977) Catègories Localisables, Thèse de Doctorat d'Etat, Université de Paris VI.
Diers, Y. (1979) Families universelles de morphismes. Ann. Soc. Sci. Bruxelles 93 175–195.
Dyckhoff, R. and Tholen, W. (1987) Exponentiable morphisms, partial products and pullback complements. J. Pure Appl. Alg. 49 103–116.
Freyd, P. J. and Scedrov, A. (1990) Categories, Allegories, North-Holland Mathematical Library vol. 39. North-Holland.
Johnson, M. and Walters, R. F. C. (1992) Algebra objects and algebra families for finite limit theories. J. Pure Appl. Alg. 83 283–293.
Johnstone, P.T. (1977) Topos Theory, L.M.S. Mathematical Monographs 10, Academic Press.
Johnstone, P.T. (1979) Automorphisms of Ω. Algebra Universalis 9 1–7.
Johnstone, P.T. (1979a) A syntactic approach to Diers' localizable categories. In: Applications of Sheaves, Springer-Verlag Lecture Notes in Mathematics 753 466–478.
Johnstone, P.T. (1990) Collapsed toposes and cartesian closed varieties. J. Algebra 129 446–480.
Johnstone, P.T. (1992) Partial products, bagdomains and hyperlocal toposes. In: Applications of Categories in Computer Science, L.M.S. Lecture Notes Series 177, Cambridge University Press 315–339.
Jónsson, B. and Nelson, E. (1974) Relatively free products in regular varieties. Algebra Universalis 4 14–19.
Kasangian, S. and Labella, A. (1992) Enriched categorical semantics for distributed calculi. J. Pure Appl. Alg. 83 295–321.
Kasangian, S. and Vigna, S. (1991) Trees in distributive categories. In: Category Theory, Springer-Verlag Lecture Notes in Mathematics 1488 237–248.
Kasangian, S. and Vigna, S. (1991a) Introducing a calculus of trees. In: TAPSOFT '91, vol. 1, Springer-Verlag Lecture Notes in Computer Science 493 215–240.
Kelly, G. M. (1992) On clubs and data-type constructors. In:Applications of Categories in Computer Science, L.M.S. Lecture Notes Series 177, Cambridge University Press 163–190.
Kock, A. (1991) Algebras for the partial map classifier monad. In: Category Theory, Springer-Verlag Lecture Notes in Mathematics 1488 262–278.
Lawvere, F. W. (1973) Metric spaces, generalized logic, and closed categories. Rend. Sem. Mat. Fis. Milano 43 135–166.
Mac Lane, S. (1971) Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag.
Paré, R. (1990) Simply connected limits. Canad. J. Math. 42 731–746.
Pasynkov, B. A. (1965) Partial topological products. Trans. Moscow Math. Soc. 13 153–272.
Rosebrugh, R.D. and Wood, R. J. (1991) Pullback preserving functors. J. Pure Appl. Alg. 73 73–90.
Street, R. (1976) Limits indexed by category-valued 2-functors. J. Pure Appl. Alg. 8 149–181.
Walters, R.F.C. (1989) Datatypes in distributive categories. Bull. Austral. Math. Soc. 40 79–82.
Walters, R.F.C. (1989a) A note on context-free languages. J. Pure Appl. Alg. 62 199–203.
Walters, R. F. C. (1989b) The free category with products on a multigraph. J. Pure Appl. Alg. 62 205–210.
Walters, R.F.C. (1992) Categories and Computer Science, Cambridge University Press.
Wraith, G.C. (1974) Artin glueing. J. Pure Appl. Alg. 4 345–348.
Wyler, O. (1991) Lecture Notes on Topoi and Quasitopoi, World Scientific.
