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