1. Computable Analysis (McGraw-Hill, New York 1980).
2. and , Constructive Analysis. Grundlehren der mathematischen Wissenschaften 279 (Springer-Verlag, Berlin 1985).
3. , , and , Complexity and Real Computation (Springer-Verlag, New York 1997).
4. Foundations of Constructive Mathematics. McGraw-Hill Series in Higher Mathematics (McGraw-Hill, New York 1967).
5. and , Varieties of Constructive Mathematics. London Mathematical Society Lecture Notes Series 97 (Cambridge University Press, Cambridge 1987).