THM-coupled finite element analysis of frozen soil: formulation and application - Nishimura,S; Gens,A; Olivella,S; Jardine,RJ (GEOTECHNIQUE, 2009)