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