[1] Bell, J.L., A Primer of Infinitesimal Analysis", Cambridge University Press, Cambridge,1998.
[2] Kock, A., Synthetic Differential Geometry", Cambridge University Press (2nd Edition),Cambridge, 2006.
[3] Lavendhomme, R., Basic Concepts of Synthetic Differential Geometry", KluwerAcademic Publishers Dordrecht, Kluwer Texts in Mathematical Sciences 13, 1996.
[4] Lawvere, F.W., Toward the description in a smooth topos of the dynamically possiblemotions and deformations of a continuous body, Cah. Topol. Geom. Differ. Categ.XXI (1980), 337-392.
[5] Lawvere, F.W., Comments on the development of topos theory, in the book:Development of Mathematics 1950-2000", J.P. Pier (Ed) Birkhauser Verlag, Basel,(2000), 715-734. See also in TAC Reprints 24 (2014), 1-22 (with author commentary).
[6] Moerdijk, I. and Reyes, G., Models for Smooth Infinitesimal Analysis", Springer-Verlag, New York, 1991.