Sejarah Revolusi Kemerdekaan (1945 S/d 1949) Daerah Nusa Tenggara Timur (Depdikbud, 1984)