This is an old revision of the document!
http://www.cs.cmu.edu/~rwh/plbook/book.pdf
About, Specifying syntax