1. E.J. Dubuc, C∞-schemes, Amer. J. Math. 103 (4).
2. E.J. Dubuc, Open covers and infinitary operations in C-rings, Cahiers Toplogie Géom. Différentielle 22 (3).
3. Objects compacts dans les topos;Dubuc;J. Austral. Math. Soc. (Series A),1986
4. Formal spaces;Fourman,1982
5. A. Joyal, Nouveaux fondaments de l'analyse, Lecture given at Montreal in 1973 and 1974. Unpublished.