Chŏng, Hŭi-suk.

• Hanʼguk Kwanʼgwang gaidŭ buk
• Kyoyuk chʻŏrhakchŏk chipʻyŏng ŭrosŏ ŭi Wŏnhyo sasang