1. Yu. L. Ershov, Definability and Computability (Consultants Bureau, New York, 1996).
2. E. R. Baisalov, K. A. Meirembekov, and A. T. Nurtazin, “Definably minimal models,” in Model Theory in Kazakhstan, Collection of papers in the memory of A. D. Taimanov (Eco Study, Almaty, 2006), 14.
3. B. S. Baizhanov, “Orthogonality of one types in weakly o-minimal theories,” in Algebra and Model Theory 2. Collection of papers (NSTU, Novosibirsk, 1999), 5.
4. B. S. Baizhanov and B. Sh. Kulpeshov, “On behaviour of 2-formulas in weakly o-minimal theories,” in Mathematical Logic in Asia, Proceedings of the 9th Asian Logic Conference, August 16-19, 2005, Novosibirsk, Russia (World Scientific, Singapore, 2006), 31.
5. B. S. Baizhanov, S. V. Sudoplatov, and V. V. Verbovskiy, “Conditions for nonsymmetric relations of semiisolation”, Siberian ElectronicMath. Reports 9, 161 ( 2012).