S. S. Vakis

• Term rewriting used to define the semantics of a programming language