Dai Zhen zhe xue zhu zuo xuan zhu - An, Zhenghui; Dai, Zhen 1724-1777 (Zhonghua shu ju, 1979)
Includes bibliographical references