A computable version of Banach's Inverse Mapping Theorem

@article{Brattka2009ACV,
  title={A computable version of Banach's Inverse Mapping Theorem},
  author={Vasco Brattka},
  journal={Ann. Pure Appl. Logic},
  year={2009},
  volume={157},
  pages={85-96}
}