Underground excavations in rock - Hoek, Evert 1933- (Institution of Mining and Metallurgy, 1980)