<html>
<body>
See<br>
<a href="http://www.informit.com/articles/article.aspx?p=2213858&WT.mc_id=Author_Knuth_20Questions" eudora="autourl">
http://www.informit.com/articles/article.aspx?p=2213858&WT.mc_id=Author_Knuth_20Questions<br>
</a></body>
</html>