  Last modified:  Sat Aug 31, 1996,  <a HREF="http://www.cs.wisc.edu/~dzimm/dzimm.html">Dave Zimmermann</a> <em>(<a href="mailto:dzimm@cs.wisc.edu">dzimm@cs.wisc.edu</a>)</em> <p>
