The following documents are available.
This course is based on CS 143 as taught from 1999 to 2002. On the CS 143 web page you can find further background information that may be interesting or helpful.