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