Semi-Riemannian geometry with applications to relativity - O'Neill, Barrett (Pure and applied mathematics (Academic Press) ;, 1983)