Yŏng-mi Cho

• Pak T'ae-jin ŭi si, kŭ pansŏng ŭi mihak