Text this: Proceedings 1981 Rapid Excavation and Tunneling Conference, San Francisco, California, May 3-7, 1981 /