Ground freezing 1980 selected papers of the Second International Symposium on Ground Freezing, held in Trondheim, June 24-26, 1980 / - Frivik, P. E. (Developments in geotechnical engineering ;)