Semi-classical analysis for the Schrödinger operator and applications. - Springer Verlag, 1988. - ( Lecture Notes in Mathematics ; 1336).