Илья Ключников, Сергей Романенко. Суперкомпиляция: обобщение, зацикливание, гомеоморфизм. Ноябрь 2009. slides PDF
Ilya Klyuchnikov, Sergei A. Romanenko. Multi-result supercompilation as a tool for program analysis. Luleå University of Technology, Sweden, April 28, 2011. abstract slides PDF