Sejong sidae ŭi pogŏn wisaeng / - An, Tŏk-kyun. (Sejong Taewang Kinyŏm Saŏphoe,, 1985)