Global Riemannian Geometry: Curvature and Topology - Hurtado (Springer International Publishing, 2020)