Lorentzian manifolds admitting a killing vector field - Sanchez, Miguel.