Hörmander, L. (1985). On the Nash-Moser implicit function theorem. Annales Fennici Mathematici, 10(1), 255–259. https://doi.org/10.5186/aasfm.1985.1028