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