Introduction to tunnel construction - Chapman, David N. (Applied geotechnics., 2010)