We provide a rigorous microscopic derivation of the thermodynamic descripti
on of equilibrium crystal shapes in the presence of a substrate, first stud
ied by Winterbottom. We consider finite range ferromagnetic Ising models wi
th pair interactions in dimensions greater or equal to 3, and model the sub
strate by a finite-range boundary magnetic Field acting on the spins close
to the bottom wall of the box.