Analisis hambatan pemanfaatan sistem informasi pada proses pemeriksaan: studi kasus Badan Pemeriksa Keuangan Republik Indonesia = Barriers analysis of the information system utilization in audit process: a case study of State Audit Agency of the Republic of Indonesia - Damanik, Aslon, author (Universitas Indonesia, 2019)