Kohlenbach, U.; Oliva, P. B. Proof Mining: A Systematic Way of Analysing Proofs in Mathematics. BRICS 2002, 9.