Guide to best practice for the installation of pipe jacks and microtunnels (Pipe Jacking Association, 1995)