Jian ming zheng zhi jing ji xue ci dian - Xu, Dixin 1906-1988 (Ren min chu ban she, 1983)