Im, Hyŏn-suk.

• Wang An-sŏk ŭi kwagŏ chedo kaehyŏk e taehan il kochʻal