This page has moved.
It is now located at http://www.cs.rutgers.edu/~watrous/.
Please update your bookmarks.