Text this: Dredging : a handbook for engineers /