<b><a href="http://www.cs.cornell.edu/Info/People/gries/gries.html"> David Gries</a></b> (<i>gries@cs.cornell.edu</i>): programming methodology, programming languages, compiler construction <p>
