   <a href="http://www.cs.cornell.edu/Info/People/tah/tah.html">   Thomas A. Henzinger</a> (tah@cs.cornell.edu)<br>
