Lonsted, Knud. “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, https://doi.org/10.7146/math.scand.a-10870.