Zhen Xishan Du Shu Ji Yi Ji Shang Da Xue Yan Yi: Cun 9 Juan. Fuzhou: Tang Han deng, nn11.