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