Tunnelling and underground space technology. (Pergamon Press, 1986)