Anchoring in rock - Hobst, Leos (Developments in geotechnical engineering ;, 1977)