Statistical mechanics rigorous results - Ruelle, David 1935- (Benjamin, 1974)