Hörmander L. On the Nash-Moser implicit function theorem. Ann. Fenn. Math. 1985;10(1):255-259. doi:10.5186/aasfm.1985.1028