1. , , and , Nonstandard Methods in Stochastic Analysis and Mathematical Physics. Pure and Applied Mathematics 122 (Academic Press, 1986).
2. Standard sets in nonstandard set theory
3. The Power of the Ultrafilter Theorem
4. Axiomatic foundations for Nonstandard Analysis
5. Set Theory. The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics (Springer, 2003).