Tochŏng - Yi, Pong-ku (Samsŏng Chʻulpʻansa, 1972)
Includes bibliography