Eurotunnel '80 : papers presented at the Eurotunnel '80 Conference, organized by the Institution of Mining and Metallurgy, held in Basle, Switzerland, from 16 to 19 September, 1980 - Eurotunnel '80 Conference (1980 : Basle, Switzerland) (Institute of Mining & Metallurgy, 1980)