 <A HREF="http://www.cs.washington.edu/education/courses/531/">CS531</A> Automata, Computability and Complexity <LI>
