Электрификация горных работ : [Учебник для горн. вузов и фак.]