Mineral deposits of the world : ores, industrial minerals and rocks - Vaněček, Mirko, 1928-2022 (Academia, 1994)