The story of tunnels - Chadwick, Roy (Andre Deutsch, 1988)
Describes the history of tunnels, the techniques used in building them, and their many uses.