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