KAM Theory and Semiclassical Approximations to Eigenfunctions | EKB DL