TUNNELLING AND UNDERGROUND SPACE TECHNOLOGY (PERGAMON PRESS, 1987)