1. Barwise, K. J., (1973) Back and forth through infinitary logic, Studies in Model Theory, M. Morley ed., MAA Studies 8, pp. 5–34.
2. Benedikt, M., (1993) Nonstandard Analysis and Special Ultrafilters, Ph.D. Thesis, University of Wisconsin.
3. Benedikt, M., (to appear) Ultrafilters which extend measures, The Journal of Symbolic Logic.
4. Benedikt, M., Dong, G., Libkin, L., and Wong, L., (to appear) Model theoretic results on constraint queries, The Journal of the Association for Computing machinery.
5. Chang, C.C. and Keisler, H.J., (1990) Model Theory. 3rd ed., North-Holland, Amsterdam, (2nd ed., 1977).