China). Jian zhu xi. Zhi tu zu Qing hua da xue (Beijing