Hae-ryŏm Chŏng

• P'yŏnjip kyojŏng pansegi
• Saam Chŏng Yag-yong chŏn'gi