书目详细信息 : 建筑密集区基坑开挖系列技术研究