S. Miracle-sole ON THE MICROSCOPIC THEORY OF PHASE COEXISTENCE (33K, tex) ABSTRACT. Some rigorous results concerning the microscopic theory of interfaces and crystal shapes in classical lattice systems are reported.