Rendall, A. D. (1995). Crushing singularities in spacetimes with spherical, plane and hyperbolic symmetry. Classical and Quantum Gravity, 12(6), 1517-1533.