Global Lorentzian Geometry, Second Edition by etc., John K. Beem & Paul E. Ehrlich