U. Kohlenbach and P. B. Oliva, “Proof Mining: A Systematic Way of Analysing Proofs in Mathematics”, BRICS, vol. 9, no. 31, Jun. 2002.