Statistical mechanics : rigorous results - Ruelle, David