Tunneling in rock. - Wahlstrom, Ernest E. (Developments in geotechnical engineering, 1973)