Механизация и автоматизация подземной добычи угля : [Сб. статей]