Tunnel Engineering. A Museum Treatment by Vogel, Robert M.
 is a Project Gutenberg book, now on Github.