Ngo van Quê and G. E. Reyes (1982). Synthetic Calculus and smooth functors. In
Troelstra A. S. and D. van Dalen (eds.). The L. E. J. Brouwer Symposium.
Amsterdam: North Holland, 377-395.
« Analyse dans les topos lisses • Cohomology theories in synthetic differential geometry »