Imamuddin, Hartati, Lembaga Ilmu Pengetahuan Indonesia, Indonesia