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