书目详细信息 : 异形断面隧道掘进机技术