Sand and gravel excavation: pt. 6, Mining methods [with bibliographies]; by J. R. Thoenen.