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