Hopper dredge, its history, development and operation [with bibliography], Frederick C. Scheffauer, editor-in-chief.

Tools