На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован на функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе рассмотрена общая структура суперкомпилятора SCP4 и показано несколько примеров преобразований посредством SCP4. Это и многое другое вы найдете в книге Суперкомпилятор SCP4. Общая структура (А. П. Немытых)