Механизация и автоматизация работ в шахтном строительстве : Сб. науч.…