<a href="http://www.cs.washington.edu/education/courses/322/96w/"> Introduction to Formal Model in Computer Science </a> (Winter Quarter 1996) <li>
