Ensiklopedi Indonesia : Jilid 7 (Ichtiar Baru-Van Houve, 1980)