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 IV : theorem of De Rham P. Michor (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques