Tu-hyŏn Chŏng

• Hadong Chŏng Ssi Munsŏnggong p'abo
• Pudap'esŭt'ŭ ŭi hwansaeng