ROCH, Paul Wilhelm Ludwig. <i>Baukunde für Berg- und Hüttenleute</i>. 1901.