Semi-riemannian geometry : with applications to relativity - O'Neill, Barret (Academic Press, 1983)