N. Jones, and C. Madsen. Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, (1980)
D. Watt, and O. Madsen. The Computer Journal, (1983)See also: report 10, Comp. Sc. Department, University of Glasgow
(July 1977) and report DAIMI PB-105, Comp. Sc. Department, Aarhus
University (November 1979)..