Civil engineering types and devices; a classified and illustrated index of plant, constructions, machines, materials, means and methods adopted and in . of civil engineers, draughtsmen, students, bu 12+