Подловченко Р.И. Об одной методике распознавания эквивалентности в алгебраических моделях программ // Программирование, 2011, № 5.