馃摉 Definitional InterpretersReynolds Style, Denotational Semantics, Language Specification, Formal Methods