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