J. Weber, “Classical Morse theory revisited - I backward $\lambda$-lemma and homotopy type”, TMNA, vol. 47, no. 2, pp. 641–646, Jun. 2016.