Weber, J. “Classical Morse Theory Revisited - I Backward $\lambda$-Lemma and Homotopy Type”. Topological Methods in Nonlinear Analysis, vol. 47, no. 2, June 2016, pp. 641-6, doi:10.12775/TMNA.2016.020.