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