Kohlenbach, U., and P. B. Oliva. “Proof Mining: A Systematic Way of Analysing Proofs in Mathematics”. BRICS Report Series, vol. 9, no. 31, June 2002, doi:10.7146/brics.v9i31.21746.