Engenharia, tratamento de minérios e metalurgia extrativa - Chaves, Arthur Pinto (História da mineração brasileira, 2020)