1. Foundations of Constructive Analysis. MsGraw-Hill, New York 1967.
2. and , Constructive Analysis. Springer-Verlag, New York—Heidelberg—Berlin 1985.
3. Bounded linear mappings of finite rank
4. , , , and , Locating metric comple. ments in Rn. In: Constructive Mathematics (F. Richman. ed.), Springer Lectures Notes in Mathematics 873 (1981), pp. 241–249.
5. London Math.;Bridges,1987