Technical manual TM (series). 5-857-3. Design of underground installations in rock space layouts and excavation methods [with bibliography].