Bekenov, M.I.; Mamyraly, A.; Kassatova, A.; Kabidenov, A. Criterion for a Formula-Definable Quasivariety. M 2026, 121, 103-109.