Соркин, Ю. И. Независимые системы аксиом, определяющие структуру. Ukr. Mat. Zhurn. 1951, 3 (1), 85-97.