Dexiu Zhen

Hsi-shan hsien sheng Chen Wen-chung kung wen chi

1968

San li kao

1936

Wen zhang zheng zong

1767

Wen zhang zheng zong fu ke

1864

Xishan du shu ji

1976

Xishan ti ba

1971

Xishan Zhen Wenzhong gong wen ji

1860

Yu su wen

1939

Zhen Wenzhong gong du shu ji

1864

Zhen Wenzhong gong wen ji

1965

Zhen Xishan ji

1866

Zhen Xishan xian sheng ji

1937

Zhen Xishan xin jing

1896

Da xue yan yi

1638

Xishan xian sheng Zhen Wenzhong gong du shu ji

Xishan Zhen Wenzhong gong du shu ji

Chin Sosan toksogi ulchip sang taehak yonui

Simgyong puju

Kugyŏk Simgyŏng

Qie zhong ji, Xue Tao Li Ye shi ji, Wen zhang zheng zong

Xishan xian sheng Zhen Wenzhong gong wen zhang zheng zong

Kugyŏk Simgyŏng chuhae ch'ongnam

Chin Sŏsan toksŏgi ŭlchip sang taehak yŏnŭi

Shinkyō fuchū ; Ōgaku teikō