(nn11). <i>Zhen Xishan du shu ji yi ji shang da xue yan yi: cun 9 juan.</i> Fuzhou: Tang Han deng.