1. L. Badger, An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications, Pacific Journal of Mathematics 72 (1977), pp. 293–304.
2. J. T. Baldwin and J. M. Plotkin, A topology for the space of countable models of first order theories, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (1974), pp. 173–178.
3. J. Barwise and S. Feferman, Model Theoretic Logics, Springer Verlag, 1985.
4. J. L. Bell and A. B. Slomson, Models and Ultraproducts, North Holland, 1971.
5. J. Van
Benthem and D. Pearce, A mathematical characterization of interpretations between theories,Studia Logica XLIII (1984), pp. 295–303.