Sprayed concrete lined tunnels : an introduction - Thomas, Alun (Applied geotechnics, 2009)