Hwang, Ha-hyŏn.

• Chaejŏnghak kangŭi