<A HREF="http://www.cs.wisc.edu/~weaver/cs302/lectures/lectures.html">Lecture Notes</A>     <LI>
