Formal Syntax and Semantics of Programming Languages: A Laboratory ...
Kenneth Slonneger & Barry L. Kurtz