Practical Tunnel Driving - Richardson, Harold W. (McGraw-Hill, 1941)