Theory of phase transitions : rigorous results - Sinai, I︠A︡. G.; Fritz, J. (International series in natural philosophy, 1982)