А. Грибанов . История горного дела.