1. Crystals and De Rham cohomology of schemes;Grothendieck,1968
2. Crystals and D-modules;Gaitsgory;Pure Appl. Math. Q.,2014
3. Models for Smooth Infinitesimal Analysis;Moerdijk,1991
4. Rings of smooth functions and their localizations. I;Moerdijk;J. Algebra,1986
5. Transseries and Real Differential Algebra;van der Hoeven,2006