Semi-Riemannian geometry with applications to relativity - O'Neill, Barrett (Acad. Pr., 1994)