Lonsted, K. “Extensions De Quelques théorèmes Classiques Sur Les Applications différentiables Et Les variétés différentiables Au Cas $p$-Adique”. MATHEMATICA SCANDINAVICA, vol. 22, June 1968, pp. 51-62, doi:10.7146/math.scand.a-10870.