1. Foundations of Constructive Analysis. McGraw-Hill, New York 1967.
2. and , Constructive Analysis. Springer-Verlag, Berlin — Heidelberg — New York 1985.
3. Intuitionism, an introduction. 3rd ed. North-Holland Publ. Comp., Amsterdam 1971.
4. Components of an open set