Construction and design of cement grouting A guide to grouting in rock foundations - Houlsby A. Clive (Wiley Series of Practical Construction Guides, 1990)