Semantic definitions in Refal and automatic production of compilers (1980)

by V Turchin
Venue:Semantics-Directed Compiler Generation, Aarhus, Denmark (Lecture Notes in Computer Science