中國冶金百科全書總編輯委員會《煉焦化工》卷編輯委員會