A Rigorous Theory of Finite Size Scaling at First Order Phase Transitions

A large class of classical lattice models, describing the coexistence of a finite number of stable states at low temperatures, is considered.