Rock grouting and diaphragm wall construction - Verfel, Jaroslav (Developments in geotechnical engineering, 1989)