Hernest, Mircea-Dan, og Ulrich Kohlenbach. “A Complexity Analysis of Functional Interpretations”. BRICS Report Series, bd. 10, nr. 12, februar 2003, doi:10.7146/brics.v10i12.21782.