Rock engineering and excavation in an urban environment : proceedings of the conference held in Hong Kong from 24 to 27 February 1986, and organized by the Institution of Mining and Metallurgy and the

Municipal engineering , Rock excavation