О преобразованиях слов в полугруппе, заданной системой определяющих соотношений С.И. Адян — 1976 Algebra i Logika