Connections, curvature, and cohomology, Vol.1 - Greub, Werner, et al (1972)