Pusat Dokumentasi dan Informasi Ilmiah (Indonesia). Perpustakaan.