Kim, Yŏng-chʻŏng.

• Hyŏndae hoegye wŏlli