Proof mining: a systematic way of analyzing proofs (2003)

by U Kohlenbach, P Oliva
Venue:in mathematics, Proc. Steklov Inst. Math