Date: Fri, 24 Jul 92 01:03:44 JST Here we have not only A4 but also US letter version of the documents at theory.lcs.mit.edu and ftp.cs.titech.ac.jp, which are provided in DVI form of an obsolete LaTeX and in PostScript(optimal for 300dpi). If you have a 400dpi printer(e.g. NeXT's), ftp to titech. -- happy hacking, Ki.