1. Turchin, V.F., The Language Refal: The Theory of Compilation and Metasystem Analysis, New York: New York Univ., Department of Computer Sci., Courant Inst. of Math. Sci., 1980.
2. Turchin, V.F., The Concept of a Supercompiler, ACM Trans. Program. Lang. Syst., 1986, vol. 8, no. 3, pp. 292–325.
3. Turchin, V., Metacomputation: Metasystem Transitions plus Supercompilation Partial Evaluation, Lect. Notes Comput. Sci., 1996, vol. 1110, pp. 481–509.
4. Turchin, V.F., The Phenomenon of Science: A Cybernetic Approach to Human Evolution, New York: Columbia Univ. Press, 1977.
5. Turchin, V., Program Transformation with Meta-System Transitions, J. Funct. Program., 1993, vol. 3, no. 3, pp. 283–313.