书目详细信息 : 岩石地下建筑设计与构造