Большая советская энциклопедия
Горноша́хтное и горнорудное машиностроение
См. в ст. Тяжёлое машиностроение.