Dai Zhendai Zhexue Zhuzuo Xuanzhu - An, Zhenghui (Zhonghua Shuju, 1979)