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