Text this: Pengembangan industri pertambangan menyongsong otonomi daerah: prosiding seminar nasional.