H. J. C. Oud. Tunnels and Excavations. njg 1979, 417-431.