1. Turchin, V.F., The concept of a supercompiler, ACM Trans. Programming Languages Systems (TOPLAS), 1986, vol. 8, no. 3, pp. 292–325.
2. Turchin, V.F., The Language Refal: The Theory of Compilation and Metasystem Analysis, New York University Press, 1980.
3. Lisitsa, A. and Nemytykh, A., Verification as a parameterized testing (experiments with the scp4 supercompiler), Program. Comput. Software, 2007, vol. 33, no. 1, pp. 14–23.
4. Klimov, A.V., Klyuchnikov, I.G., and Romanenko, S.A., Automatic verification of counter systems via domainspecific multiresult supercompilation, Proc. 3rd International Valentin Turchin Workshop on Metacomputation, Klimov, A. and Romanenko, S., Eds. (Pereslavl-Zalessky, 2012), Pereslavl: Univ. of Pereslavl Press, 2012.
5. Klyuchnikov, I.G. and Romanenko, S.A., Proving the equivalence of higher-order terms by means of supercompilation, Proc. 7th International Andrei Ershov Memorial Conference (PSI 2009), Pnueli, A., Virbitskaite, I., and Voronkov, A., Eds., Novosibirsk, 2009.