Vitalsource Technologies, Inc. Theory And Technology Of Rock Excavation For Civil Engineering