Kreuzer, Alexander P. :
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs.
Technische Universit├Ąt, Darmstadt
[Ph.D. Thesis], (2012)