1. Computable Analysis (McGraw-Hill, 1980).
2. and , Constructive Analysis. Grundlehren der mathematischen Wissenschaften 279 (Springer, 1985).
3. and , Varieties of Constructive Mathematics. London Mathematical Society Lecture Notes Series 97 (Cambridge University Press, 1987).
4. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability
5. Theorie der Numerierungen I