Kim I-man chakp'umjip - Kim, I-man, 1683-1758; Na, In-ch'ŏl (P'yŏngyang : Munhak Yesul Ch'ulp'ansa, 2016)