Practical tunnel driving - Richardson, Harold W