M. Morse, “On Elevating Manifold Differentiability”, JIMS, vol. 24, no. 3-4, pp. 379–400, Dec. 1960.