Foundations of differentiable manifolds and Lie groups - Warner, Frank W. 1938- (Graduate texts in mathematics (Springer-Verlag), 1983)