U. Kohlenbach, “On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness”, BRICS, bd. 4, nr. 23, jan. 1997.