L. Hörmander, “On the Nash-Moser implicit function theorem”, Ann. Fenn. Math., vol. 10, no. 1, pp. 255–259, Feb. 1985.