Manifolds of differentiable mappings - Michor, Peter W., 1949- (Shiva mathematics series, 1980)