Dredges and dredging
Dredges and Dredging
Earth and rock excavation. A practical treatise
Graphical determination of earth slopes, retaining walls and dams
Tunneling