Berti M, Bolle P, Procesi M. An abstract Nash-Moser theorem with parameters and applications to PDEs. Annales de l'Institut Henri Poincare. Annales: Analyse Non Lineaire/Nonlinear Analysis. 2010  ;27:377-399.