Tunnels - Dunn, Andrew (Wayland London, 1990)
Explains tunnel-building methods, looks at various types of tunnels and discusses their uses.