Theory of phase transitions rigorous results - Sinai, Yakov G. (Akadémiai Kiadó, 1982)