Manifolds of smooth maps IV : theorem of De Rham P. Michor — 1983 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Manifolds of smooth maps P. Michor — 1978 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Manifolds of smooth maps, II : the Lie group of diffeomorphisms of a non-compact smooth manifold P. Michor — 1980 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Manifolds of smooth maps III : the principal bundle of embeddings of a non-compact smooth manifold P. Michor — 1980 Cahiers de Topologie et Géométrie Différentielle Catégoriques