The language Refal – the theory of compilation and metasystem analysis (1980)

by V F Turchin