Ремизов, В. К.; Григорьев, А. Анализ методов преобразования алгоритмов. ИК 2024, 42-48.