Sang-jŏm Chŏng

• Yŏkchu Puruhŏn munjip