Statistical mechanics: rigorous results. - Ruelle, D. (W. A. Benjamin, 1969)