Verhandelingen / Topografische Dienst in Nederlandsch-Indië Jaarboek van het mijnwezen in Nederlandsch Oost-Indië