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.

Fresh book recommendations delivered straight to your inbox every Thursday.