书目详细信息 : 大跨地下空间建造新技术