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