Bibliothek der Technischen Hochschule Darmstadt (ed.) Gesamtbücherverzeichnis der Höheren Gewerbeschule zu Darmstadt. Will, Darmstadt . , (1855)