text he's referring to can be found at

http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf