Statistical mechanics rigorous results - Ruelle, David (World Scientific, 1999)