Title: Term rewriting used to define the semantics of a programming language
First published: 1984