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.