H. J. C. Oud 1979. Tunnels and excavations. Netherlands Journal of Geosciences. (Jan. 1979), 417-431.