A frost heave model of freezing saturated soils - Talamucci, Federico.