Ensiklopedi pertambangan dan istilah terkait - Puslitbang Tek. MIRA (Puslitbang Tek. MIRA, 2003)