Druck I. F. and G. E. Reyes (1987). Sur la convergence de suites de fonctions suivant des
filtres. In F. Borceux (ed.). Categorical Algebra and its Applications (Proceedings of the
1987 Conference on Categories in Louvain-la-Neuve. LNM 1348. Berlin: Springer-V102-106. (SDG)
« Rings of smooth functions and their localizations II • Formal systems for topos-theoretic modalities »