F. Nielson, “Theoretical Aspects of Semantics-Based Language Implementation”, DPB, vol. 19, no. 329, Aug. 1990.