Da Xian zhi : 20 juan, juan shou, juan mo - Wu, Dezhun (Taiwan xue sheng shu ju, 1971)
Ying yin Minguo 22 (1933) qian yin ben.