The Wayback Machine - https://web.archive.org/web/20070627041059/http://www.cs.cmu.edu/~rwh/plbook/book.pdf