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