Nielson, F. Theoretical Aspects of Semantics-Based Language Implementation. DPB 1990, 19.