Chong-dŏk Ch'oe

• Hamkke hanŭn hwan'gyŏng ch'ŏrhak
• Sungnyemun seugi