1. WEIL, A., Théorie des points proches sur les variétés différentiables, in Conference Geom. Diff., Strasbourg, 1953, took up again in “Oeuvres scientifiques, collected papers”, vol. II, Springer 1979, 103–109.
2. EHRESMANN, Ch., Oeuvres complètes et commentées I.1 et I.2, Suppléments 1 et 2 au vol. XXIV des Cahiers de Topologie et Géométrie Différentielle, (1983).
3. GROTHENDIECK, A., in collaboration with J. DIEUDONNE, Eléments de géométrie algébrique, Inst. Hautes Et. Sc., publ. math. nos 4, 8, 11, 17, 20, 24, 28, 32 (de 1960 à 1967 ).
4. F.W. LAWVERE, Categorical Dynamics, in [25], 1–28.
5. KOCK, A.,(ed), Topos theoretic Methods in Geometry, edited by A. Kock, Various Publications Series n30, Aarhus, 1979.