Text this: Механизация и автоматизация работ в шахтном строительстве: сборник научных статей