Implementation Of The Symbolic Analytic Transformations Language FLAC. - S. V. Chmutov; E. A. Gaydar; I. M. Ignatovich; V. F. Kozadoy; Andrei P. Nemytykh; Victoria A. Pinchuk (DISCO, 1990)

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

Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. - Andrei P. Nemytykh; Victoria A. Pinchuk (Ershov Memorial Conference, 1996)