Some combinatorial calculus on Lie derivative M. Carmen Minguez (1988) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Strong infinitesimal linearity, with applications to strong difference and affine connections A. Kock, R. Lavendhomme (1984) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Sur les modèles de la géométrie différentielle synthétique Eduardo J. Dubuc (1979) Cahiers de Topologie et Géométrie Différentielle Catégoriques