1. Vector fields on RR in well adapted models of synthetic differential geometry;Bruno;Pure Appl. Algebra,1987
2. Local concepts in SDG and germ representability;Bunge,1987
3. C∞-Schemes;Dubuc;Amer. J. Math.,1981
4. Open covers and infinitary operations on C∞-rings;Dubuc;Cahiers Topologie Géom. Différentielle,1981
5. Logical opens and real numbers in topoi;Dubuc;J. Pure Appl. Algebra,1986