Proof of the ionization conjecture in a reduced Hartree-Fock model. Jan Philip Solovej (1991) Inventiones mathematicae
Puits multiples en limite semi-classique. II. Interaction moléculaire. Symétries. Perturbation B. Helffer, J. Sjöstrand (1985) Annales de l'I.H.P. Physique théorique