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