Models for synthetic supergeometry David N. Yetter (1988) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Models of differential algebra in the context of synthetic differential geometry Marta Bunge (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Morphisms between spaces of leaves viewed as fractions Jean Pradines (1989) Cahiers de Topologie et Géométrie Différentielle Catégoriques