Tunnelling and underground space technology. (Pergamon Journals Ltd., 1986)