Purify/Quantify/WARTS</A>  	presented by  	<a href=http://www.cs.cornell.edu/Info/People/wwlee/wwlee.html> 	<i>Lee, William W. (wwlee@cs)</i> </a>  <DT>
