1. Kobayashi, S., and Nomizu, K. (1963).Foundations of Differential Geometry, Vol. I, Interscience, New York.
2. Kock, A. (1981).Synthetic Differential Geometry, Cambridge University Press, Cambridge.
3. Kock, A., and Lavendhomme, R. (1984). Strong infinitesimal linearity, with applications to strong difference and affine connections,Cahiers de Topologie et Géométrie Différentielle,25, 311–324.
4. Lavendhomme, R. (1996).Basic Concepts of Synthetic Differential Geometry, Kluwer, Dordrecht.
5. Moerdijk, I., and Reyes, G. E. (1991).Models for Smooth Infinitesimal Analysis, Springer-Verlag, New York.