Технология разработки месторождений твердых месторождений твердых полезных ископаемых (Итоги науки и техники, 1972)