1. Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
2. Yu. L. Ershov, ?Constructive models,? in: Selected Problems in Algebra and Logic [in Russian], Nauka, Novosibirsk (1973), pp. 11?130.
3. Yu. L. Ershov, ?Skolem functions and constructive models,? Algebra Logika,12, No. 6, 644?654 (1973).
4. M. G. Peretyat'kin, ?Every recursively enumerable extension of a theory of linear order has a constructive model,? Algebra Logika,12, No. 2, 211?219 (1973).
5. M. Lerman and J. H. Schmerl, ?Theories with recursive models,? J. Symbolic Logic,44, No. 1, 59?76 (1979).