1. Artin, M.-Grothendieck, A.-Verdier, J. L.: Théorie des Topos et Cohomologie Étale des Schémas (SGA 4, 1963/64). Springer Lecture Notes 269, 270 (1972).
2. Bénabou, J.-Celeyrette, J.: Généralités sur les Topos des Lawvere et Tierney. Preprint, Séminaire Bénabou (1970).
3. Bénabou, J.: Catégories et logiques faibles. Talk at the Oberwolfach Conference (1973).
4. Diaconescu, R.: Change of Base for some Toposes. Ph.D. thesis, Dalhousie University (1973).
5. Feferman, S.: Set-Theoretical Foundations of Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 201–247 (1969).