A mathematical model of differential frost heave - Fowler, A (A.A. Balkema, 2003)