Механизация и автоматизация горных работ : [Сб. статей]