1

<u>Bazisnyǐ REFAL i yego realizatsiya na vychislitelnykh mashinakh</u>, {Basic REFAL and its implementation on computers}. GOSSTROY SSSR, TsNIPIASS, Moscow, 1977. (The authors are not indicated in the book. In fact they are: Khoroshevsky V. F., Klimov And. V., Klimov Ark. V., Krasovsky A. G., Romanenko S. A., Shchenkov I. B., Turchin V. F.)

2

Turchin, V. F., <u>The Phenomenon of Science</u>. Columbia University Press, New York, 1977.

3

Turchin, V. F., "{A metalanguage for formal description of algorithmic languages}," in: <u>Tsifrovaya Vychislitelnaya Technika i Programmirovanie</u>, Sov. Radio, Moscow, 1966, pp. 116--124.

4

Turchin, V. F., "{The Metaalgorithmic Language}", Kibernetika, No. 4, 1968, pp. 45--54

5

Turchin, V. F., <u>Algoritmicheskiy Yazyk Rekursivnykh Funktsiy - REFAL</u> {Recursive Functions Algorithmical Language - REFAL}, preprint IPM*, Moscow, 1968.

6

Turchin, V. F. and Serdobolski, V. I. "{The Language REFAL and its Application for Algebraic Manipulation}", Kibernetika, No.3, 1969, pp. 58--62

7

Florentsev, S. N., Oliunin, Yu. V., Turchin, V. F., "{REFAL-interpreter}", <u>Trudy I Vsesoyuznoi Konfer. Po Programmirovaniyu</u>, Kiev, 1968

8

Florentsev, S. N., Oliunin, Yu. V., Turchin, V. F., <u>Effektivnyi interpretator dlya yazyka REFAL</u> {An efficient interpreter for REFAL}. Preprint, IPM AN SSSR*, 1969

9

Bobkova, O. F., et al. "{A REFAL interpreter for M-220 computer}" in: <u>Yazyki programmirovaniya i metody ikh realizatsii</u>, Kiev, 1973.

10

Romanenko, S. A. and Turchin, V. F. "{A REFAL-compiler}" in: <u>Trudy 2 Vsesoyuznoi knofer. po programmirovaniyu</u>, Novosibirsk, 1970.

11

Klimov, A. V., Romanenko, S. A., Turchin, V. F. <u>Kompilator s yazyka REFAL</u> {A compiler for the language REFAL}. Preprint IPM AN SSSR*, 1972.

12

Turchin, V. F. <u>Programmirovaniye na yazyke REFAL</u> {Programming in the language REFAL}. Preprints Nos 41, 43, 44, 48, and 49 of IPM AN SSSR*, 1971.

13

Turchin, V. F. "{An ALGOL translator written in REFAL}" in: <u>Trudy I Vsesoyuznoi Konfer. po programmirov.</u>, Kiev, 1968.

14

Bychkov, S. P., et al. <u>Yazyk SIMULA v monitornoi sisteme DUBNA dlya BESM-6</u> {The language SIMULA in the Monitoring System DUBNA for BESM-6 computer}. Preprint 118 IPM AN SSSR*, 1975.

15

Budnik, A. P., et al. "{The Basic Wave Functions and Operators Matrices in the Collective Nuclear Model}". Yadernaya Fizika, <u>14</u>, NO. 2, 1971, p. 304--13.

16

Turchin, V. F. "{Equivalent transformation of Recursive Functions defined in the language REFAL}". in: <u>Trudy Vsesoyuznogo simposiuma "Teoriya Yazykov i Metody Programmirovaniya", Alushta.</u> Kiev, 1972, p. 31--42.

17

Turchin, V. F. "{Equivalent transformation of REFAL programs}". <u>Avtomatizirovannaya Sistema Upravleniya Stroitelstvom. Trudy TsNIPIASS</u>, GOSSTROY. Moscow, 1974, pp. 36--68.

18

Ershov, A. P., "{On the essence of translation}", <u>Programmirovanie, 5</u>, p. 21--39, 1977. English translation: Neuhold, E. J., Editor. <u>Formal Description of Programming Concepts</u>, North-Holland Publishing Co., 1978, pp. 391--418.

Valentin F. Turchin, The concept of a supercompiler, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.292-325, July 1986

Alexander Romanenko, Inversion and metacomputation, ACM SIGPLAN Notices, v.26 n.9, p.12-22, Sept. 1991

Valentin F. Turchin , Robert M. Nirenberg , Dimitri V. Turchin, Experiments with a supercompiler, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.47-55, August 15-18, 1982, Pittsburgh, Pennsylvania, United States

Andrei V. Klimov, Dynamic specialization in extended functional language with monotone objects, ACM SIGPLAN Notices, v.26 n.9, p.199-210, Sept. 1991

Robert Glück, Towards multiple self-application, ACM SIGPLAN Notices, v.26 n.9, p.309-320, Sept. 1991

Michael Sperber , Peter Thiemann, Two for the price of one: composing partial evaluation and compilation, ACM SIGPLAN Notices, v.32 n.5, p.215-225, May 1997

Michael Sperber , Peter Thiemann, Generation of LR parsers by partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.2, p.224-264, March 2000

Arne John Glenstrup , Neil D. Jones, Termination analysis and specialization-point insertion in offline partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1147-1215, November 2005

Yury Litvin, Parallel evolution programming language for data flow machines, ACM SIGPLAN Notices, v.17 n.11, November 1982

Peter Sestoft , Harald S:Gfndergaard, A bibliography on partial evaluation, ACM SIGPLAN Notices, v.23 n.2, p.19-26, Feb., 1988

Peter Thiemann, Combinators for program generation, Journal of Functional Programming, v.9 n.5, p.483-525, September 1999

Robert Glück, Is there a fourth Futamura projection?, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA

Peter A. Jonsson , Johan Nordlander, Positive supercompilation for a higher order call-by-value language, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA

V. F. Turchin: colleagues