1. S. M. Abramov. Metacomputation and program testing, in: 1st International Workshop on Automated and Algorithmic Debugging, Linköping, Sweden, pp.121–135, 1991.
2. S. M. Abramov. Metavychisleniya i ikh Prilozhenija (Metacomputation and its Applications, in Russian) Nauka, Moscow, 1995.
3. Bazisnyi Refal i yego realizatsiya na vychislitel'nykh mashinakh, (Basic Refal and its implementation on computers, in Russian), GOSSTROY SSSR, TsnIPIASS, Moscow, 1977.
4. S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, A. P. Nemytykh, V. A. Pinchuk. Implementation of the symbol analytic transformations language FLAC, DISCO'90, LNCS vol. 429, p.276, 1990.
5. Manuel G. Clavel and José Meseguer, Axiomatizing reflective logics and languages, Proc. of Reflection'96, pp.251–276 (1996).