Ensiklopedi Nasional Indonesia, Jilid 9 (Pustaka Inti, 1988)