Zhongguo gu dai jian zhu shi - Liu, Dunzhen, 1896- (Zhongguo jian zhu gong ye chu ban she ; Xin hua shu dian Beijing fa xing suo fa xing, 1984)