Pseudo-Differential Operators And The Nash-Moser Theorem by Patrick Gerard & Serge Alinhac