Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.