  <a href="http://www.cs.cornell.edu/home/gries/gries.html">David Gries</a><br>
