书目详细信息 : 竖井掘进机凿井技术