This page has moved to http://www.cs.vt.edu/~shaffer/Book/.
You should be redirected to the new page in a few seconds.