Statistical mechanics: rigorous results. - Ruelle, David (The Mathematical physics monograph series, 1969)