[AbR1988] S.M.Abramov and S.A.Romanenko. How to Represent Ground Expressions by Vectors in Implementations of the Language Refal. Preprint.(In Russian). Inst. Appl. Mathem., the USSR Academy of Sciences. Preprint #186. 1988.
[AHU1974] A.V.Aho, J.E.Hopcroft, and J.D.Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley. Reading, Mass.. 1974.
[Apt1983] K.R.Apt. Formal Justification of a Proof System for Communicating Sequential Processes. 197--216. Journal of the ACM (JACM). 30. 1. 1983.
[BjJ1982] D.Bjørner and C.B.Jones. Formal Specification and Software Development. Prentice-Hall International. London. 1982.
[BsR1977] Basic Refal and its Implementation on Computers (In Russian). The authors are not indicated in the book. They are: V.F.Khoroshevski, And.V.Klimov, Ark.V.Klimov, A.G.Krasovski, S.A.Romanenko, I.B.Shchenkov, and V.F.Turchin. GOSSTROJ SSSR, TsNIPIASS. Moscow. 1977.
[Hen1980] P.Henderson. Functional Programming: Application and Implementation. Prentice-Hall. 1980.
[Plotkin1983] G.D.Plotkin. An Operational Semantics for CSP. 199--223. Formal Description of Programming Concepts II. . D. Bjørner. North-Holland. Amsterdam. 1983.
[Rom1987a] S.A.Romanenko. Refal-2 Implementation (In Russian). Inst. Appl. Mathem., the USSR Academy of Sciences. 1987.
[Rom1987b] S.A.Romanenko. Refal-4, an Extension of Refal-2 Enabling the Results of Driving to be Represented (In Russian). Inst. Appl. Mathem., the USSR Academy of Sciences. Preprint #147. 1987.
[Rom1988] S.A.Romanenko. A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. 445--463. Partial Evaluation and Mixed Computation. D. Bjørner. A. P. Ershov. N. D. Jones. North-Holland. 1988.
[Sch1986] D.A.Schmidt. Denotational Semantics. Allyn and Bacon. Boston. 1986.
[Tur1986] V.F.Turchin. The concept of a supercompiler. 292--325. ACM Transactions on Programming Languages and Systems. 8. 3. July 1986.
[Tur1989] V.F.Turchin. Refal-5, Programming Guide and Reference Manual. New England Publishing Co.. Holyoke. 1989.
[War1980] D.H.D. Warren. Logic Programming and Compiler Writing. 97--125. Software - Practice and Experience. 10. 1980.
[Wir1973] N.Wirth. Systematic Programming. An Introduction.. Prentice-Hall, Inc.. Englewood Cliffs, New Jersey. 1973.
[Wir1976] N.Wirth. Algorithms + Data Structures = Programs. Prentice-Hall, Inc.. Englewood Cliffs, New Jersey. 1976.