1. Arrows, Structures, and Functors;Arbib,1975
2. M. Artin, A. Grothendieck and J. L. Verdier, [SGA4] Théorie des topos et cohomologie étale des schémas, Vols., 1, 2, and 3, Lecture Notes in Mathematics, Vol. 269 (1972), Vol. 270 (1972) and Vol. 305 (1973), Springer-Verlag.
3. Toposes without points;Barr;J. of Pure and Applied Algebra,1974
4. Admissible Sets and Structures;Barwise,1975
5. Handbook of Mathematical Logic (ed.), North-Holland, 1977.