U. Kohlenbach, “Proof Theory and Computational Analysis”, BRICS, bd. 4, nr. 30, jan. 1997.