Theory of phase transitions : rigorous results - Sinaj, Jakov Grigor'jevič (Akadémiai Kiadó, 1982)