Semiclassical analysis, Witten Laplacians, and statistical mechanics - Helffer, Bernard (Series on partial differential equations and applications, 2002)