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