1. G. E. Sacks, Saturated Model Theory, W. A. Benjamin (1972).
2. C. C. Chang and H. J. Keisler, Model Theory, Elsevier (1974).
3. Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Nauka (1979).
4. A. I. Abakumov, E. A. Palyutin, M. A. Taitslin, and Yu. E. Shishmarev, "Categorical quasivarieties," Algebra Logika,11, No. 1, 3–38 (1972).
5. E. A. Palyutin, "On categorical quasivarieties of arbitrary signature," Sib. Mat. Zh.,14, No. 6, 1285–1303 (1973).