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 Hong Kong local section of the Institution in association with the Hong Kong Institution of Engineers (Institution of Mining and Metallurgy, 1986)