STATISTICAL MECHANICS RIGOROUS RESULTS - Ruelle, David (W. A. Benjamin, Inc., 1969)