Sealing of Boreholes and Underground Excavations in Rock by John Hall, Charles Chapman & K. Fuenkajorn