<A HREF="http://www.cs.utexas.edu/users/novak/cs304p.html"> 	<I>Foundations of Computer Science</I></A> (Novak) <DT>
