Advances in tunneling and subsurface technology and use Proceedings of the 5th ITA Annual Meeting (Pergamon Pr., 1980)