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