> Please find a cleaned up version of Turchin's report
>
> V.F.Turchin. The Language Refal--The Theory of Compilation and
> Metasystem Analysis. Curant Institute of Mathematics. Technical report
> #018, NY, 1980.
I uploaded a pdf-version as well, which is huge (18MB) as compared to
the DjVu-version (1.8 Mb). See the page