U. Kohlenbach, “Proof Theory and Computational Analysis”, BRICS, vol. 4, no. 30, Jan. 1997.