An Elementary Course of Civil Engineering, for the Use of Cadets of the United States' Military Academy