Zhen Wenzhong gong quan ji - Zhen, Dexiu, 1178-1235. (Taibei : Wen you shu dian, 1974)
v. 1-3. Da xue yan yi : 43 juan, nian bu, xin jing, zheng jing -- v. 4-8. Wen ji : 55 juan -- v. 9-14. Wen zhang zheng zong : 30 juan, xu 12 juan -- v. 15-20. Du shu ji : 40 juan.
Reprint edition.