Элементарная теория абелевых групп без кручения с предикатами, выделяющими подгруппу. Г.Т. Козлов; G.T. Kozlov — 1969 Algebra i Logika