A supercompiler system based on the language REFAL. - Valentin F. Turchin (ACM SIGPLAN Notices, 1979)

Semantic definitions in REFAL and the automatic production of compilers. - Valentin F. Turchin (Semantics-Directed Compiler Generation, 1980)

The Use of Metasystem Transition in Theorem Proving and Program Optimization. - Valentin F. Turchin (ICALP, 1980)

Experiments with a Supercompiler. - Valentin F. Turchin; Robert M. Nirenberg; Dimitri V. Turchin (Symposium on LISP and Functional Programming, 1982)

Program transformation by supercompilation. - Valentin F. Turchin (Programs as Data Objects, 1985)

The Concept of a Supercompiler. - Valentin F. Turchin (ACM Trans. Program. Lang. Syst., 1986)

A Constructive Interpretation of the Full Set Theory. - Valentin F. Turchin (J. Symb. Log., 1987)

Application of Metasystem Transition to Function Inversion and Transformation. - Robert Glück; Valentin F. Turchin (ISSAC, 1990)

Program Transformation with Metasystem Transitions. - Valentin F. Turchin (J. Funct. Program., 1993)

A Self-Applicable Supercompiler. - Andrei P. Nemytykh; Victoria A. Pinchuk; Valentin F. Turchin (Dagstuhl Seminar on Partial Evaluation, 1996)

Metacomputation: Metasystem Transitions plus Supercompilation. - Valentin F. Turchin (Dagstuhl Seminar on Partial Evaluation, 1996)

Supercompilation: Techniques and Results. - Valentin F. Turchin (Ershov Memorial Conference, 1996)