1. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
2. M. A. Taitslin, Theory of Models [in Russian], Novosibirsk (1970).
3. C. C. Chang, "Omitting types of prenex formulas," Journal of Symbolic Logic,32, No. 1, 61–74 (1967).
4. P. Lindström, "On model completeness," Theoria,30, 183–196 (1964).
5. R. L. Vaught, "Denumerable models of complete theories. Infinistic methods," in: Proceedings of the Symposium on the Foundations of Mathematics, Warsaw (1961), pp. 303–321.