You could try
Hamilton, Richard S. (1982). "The inverse function theorem of Nash and Moser". Bull. Amer. Math. Soc. (N.S.) 7 (1): 65–222. doi:10.1090/S0273-0979-1982-15004-2
And there's a paper by Milnor on infinite dimensional Lie groups which could be useful.
