Hard rock tunnel driving. - Williamson, T. N. (Mining Engineering, 1965)