It looks like this is the following book, if you want to read a two paragraph description (also a google search you lead you to a full-book PDF):

https://www.amazon.com/-/es/Formal-Syntax-Semantics-Programm...

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.