Statistical mechanics: Rigorous results - Ruelle, David (1977)