Weber, J. (2016). Classical Morse theory revisited - I backward $\lambda$-lemma and homotopy type. Topological Methods in Nonlinear Analysis, 47(2), 641–646. https://doi.org/10.12775/TMNA.2016.020