1. The axiom of determinateness. In: Proceedings of the Second Scandinavian Logic Symposium (ed. ), North-Holland Publ. Comp., Amsterdam 1971, pp.41–61.
2. Borel Determinacy
3. Descriptive Set Theory. North-Holland Publ. Comp., Amsterdam 1980.
4. and , Introduction to the Theory of Infinitesimals. Academic Press, New York 1976.