KAM theory and semiclassical approximations to eigenfunctions - Lazutkin, Vladimir F. (Ergebnisse der Mathematik und ihrer Grenzgebiete,, 1993)