Mines and mineral resources -- Bibliography