Text this: Applied geotechnology: a text students and engineers on rock excavation and related topics.