Computably rigid models with enumerable submodels. Buzykaeva, A.N. — 2002 Sibirskij Matematicheskij Zhurnal
On a hierarchy of groups of computable automorphisms. Morozov, A.S.; Buzykaeva, A.N. — 2002 Sibirskij Matematicheskij Zhurnal