KAM theory and semiclassical approximations to eigenfunctions - Lazutkin, Vladimir F. (Springer, 1993)