Проектирование и комплексная оптимизация параметров шахт Учеб. пособие для горных специальностей вузов (Недра, 1972)