1. Artin, M., Grothendieck, A. and Verdier, J. L. (1972).Théorie des Topos et Cohomologie Etale des Schémas, Springer-Verlag, Berlin.
2. Bell, J. L. (1988).Toposes and Local Set Theories, Oxford University Press, Oxford.
3. Borceux, F. (1994).Handbook of Categorical Algebra, 3 vols., Cambridge University Press, Cambridge.
4. Cohen, P. J. (1966).Set Theory and the Continuum Hypothesis, Benjamin, New York.
5. Deligne, P. (1974). La conjecture de Weil, I, Inst. Hautes Études Sci. Publ. Math., No.43, 273–307.