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