Lietz, Peter :
From constructive mathematics to computable analysis via the realizability interpretation.
[Online-Edition]
Technische Universit├Ąt, Darmstadt
[Ph.D. Thesis], (2005)