Semi-Classical Analysis for the Schrödinger Operator and Applications - Helffer, Bernard 1949- (Springer, 1988)