Manifolds of differentiable mappings. - Michor P W (1980)