1. V.P. Maslov and M. V. Fedoryuk, Semiclassical Approximation for the Equations of Quantum Mechanics (Nauka, Moscow, 1976) [in Russian].
2. S. Yu. Dobrokhotov and P. N. Zhevandrov, Russ. J. Math. Phys. 10(1), 1 (2003).
3. V. Ivrii, Microlocal Analysis and Precise Spectral Asymptotics, in Springer Monogr. Math. (Springer-Verlag, Berlin, 1998).
4. V. F. Lazutkin, KAM Theory and Semi-Classical Approximation to Eigenfunctions, in Ergeb. Math. Grenzgeb. (3) (Springer-Verlag, Berlin, 1993), Vol. 24.
5. Y. Colin de Verdiére, Invent. Math. 43, 15 (1977).