Norway) International Symposium on Ground Freezing 1980 (Trondheim