A metaevaluator for the language Refal: basic concepts and examples (1987)

by Andrei V Klimov, Sergei Romanenko
Venue:Keldysh Institute of Applied Mathematics, Academy of Sciences of the USSR