Tunneling in rock - Wahlstrom, Ernest Eugene, 1909- (Developments in geotechnical engineering, 1973)