Finite order differentiability properties, fixed points and implicit functions over valued fields
H. Glöckner, (2005).