Hörmander, Lars. 1985. “On the Nash-Moser Implicit Function Theorem”. Annales Fennici Mathematici 10 (1):255-59. https://doi.org/10.5186/aasfm.1985.1028.