This on-line version was produced from TeX sources using a translator written by Patrick H. Winston in Lisp.