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