Formal Syntax and Semantics of Programming Languages cover
Formal Syntax and Semantics of Programming Languages
by Kenneth Slonneger, Barry L. Kurtz
ISBN: 0201656973
Buy on Amazon
Found in 1 comment on Hacker News
zura · 2013-01-07 · Original thread
You might find interesting to read:

"Syntax and Semantics of Programming Languages"

http://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

this is a free version of:

http://www.amazon.com/Formal-Syntax-Semantics-Programming-La...

the implementations are in Prolog.