Statistical mechanics : rigorous results - Ruelle, David (New York, W. A.)