Applied Geotechnology: A Text for Students and Engineers on Rock Excavation and Related Topics (Pergamon International Library of Science, Technology, Engineering & Social Studies)