<b>Thomas A. Henzinger:</b> <a href="http://www.cs.cornell.edu/Info/Department/Annual94/Faculty/Henzinger.html">(Annual Report) </a> and/or <a href="http://www.cs.cornell.edu/Info/People/tah/tah.html">(Personal)</a>  <dd>
