Foundations of differentiable manifolds and lie groups - Warner, Frank W (New York Springer-Verlag, 1983)