Juche. The banner of independence. (Foreign Languages Publishing House, 1977)