An introduction to the deep soil mixing methods as used in geotechnical applications | lit.salon