Semi-classical analysis for the Schrodinger operator and applications - Helffer, Bernard (Springer Verlag, 1988)