Подловченко Р.И. «Полные системы эквивалентных преобразований в уравновешанных полугрупповых моделях программ с левым сокращением» // Программирование, 2010, № 3, с. 1-16.