Formal SEmantics LanguagE. A languagE for Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=compilEr">compilEr writing. ["A Formal SEmantics for ComputEr LanguagEs and its Application in a CompilEr-CompilEr", J.A. FEldman, CACM 9(1) (Jan 1966)]. [SammEt 1969, p. 641]. (1995-01-23)