Weil prolongations of Banach manifolds in an analytic model of S D G Eduardo J. Dubuc; Jorge G. Zilber — 2005 Cahiers de Topologie et Géométrie Différentielle Catégoriques
On analytic models of synthetic differential geometry Eduardo J. Dubuc; Jorge G. Zilber — 1994 Cahiers de Topologie et Géométrie Différentielle Catégoriques