Models for smooth infinitesimal analysis - Moerdijk, Ieke, 1958- (Springer-Verlag, 1991)