1. Bell, J. L. (1988).Toposes and Local Set Theories, Oxford University Press, Oxford.
2. Borceux, F. (1994).Handbook of Categorical Algebra, 3 vols., Cambridge University Press, Cambridge.
3. Demazure, M., and Gabriel, P. (1980).Introduction to Algebraic Geometry and Algebraic Groups, North-Holland, Amsterdam.
4. Foulis, D. J., and Randall, C. H. (1972).Journal of Mathematical Physics,13, 1667?1675.
5. Fourman, M. P., and Scott, D. S. (1979). Sheaves and logic, inLecture Notes in Mathematics, Vol. 753, Springer-Verlag, New York, pp. 302?401.