The North Korean revolution, 1945-1950 (Cornell U.P., 2003)