Tunnel engineering - Hammond, Rolt (London Heywood, 1959)