M.-D. Hernest og U. Kohlenbach, “A Complexity Analysis of Functional Interpretations”, BRICS, bd. 10, nr. 12, feb. 2003.