Hörmander, L. “On the Nash-Moser Implicit Function Theorem”. Annales Fennici Mathematici, vol. 10, no. 1, Feb. 1985, pp. 255-9, doi:10.5186/aasfm.1985.1028.