Global Riemannian geometry (Horwood [u.a.], 1984)