Title: The language REFAL: the theory of compilation and metasystem analysis
First published: 1980