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