Drilling and excavation technologies for the future (National Academy Press, Washington, D.C. : National Academy Press, 1994)