1. L. P. Lisovik, "On quasiidenties in a free semigroup," Ukr. Mat. Zh.,33, No. 3, 410–415 (1981).
2. L. P. Lisovik, "Rigid sets and finite coverings of semigroups," Kibernetika, No. 1, 12–16 (1980).
3. L. P. Lisovik, "The equivalence problem for transformators over labeled trees," Dokl. Akad. Nauk Ukr. SSR, No. 6, 77–79 (1980).
4. R. Lyndon and P. Schupp, Combinatorial Group Theory [Russian translation], Mir, Moscow (1980).
5. Ya. M. Barzdin', "Complexity of symmetry recognition on Turing machines," in: Problems of Cybernetics [in Russian], Vol. 15, Nauka, Moscow (1965), pp. 245–248.