KARMARSCH, Karl. <i>Karmarsch und Heeren&#039;s Technisches Wörterbuch Bd. 3, Eisenerzeugung - Giesserei</i>. 1878.