Харлампович О. Logical languages and axioms for groups with a length function / О. Харлампович, A. Myasnikov, V. Remeslennikov, 1995. - 8 p. - Текст : непосредственный.