M. Irfan Al Fauzien, “Mining Term Dictionary: Kamus Istilah Pertambangan,” UPN Veteran, 2024.