Date: Wed, 22 Jul 92 02:23:27 JST Hi there. Now anonymous ftp is available to get the document. host: ftp.cs.titech.ac.jp [131.112.172.15] file: pub/doc/Plotkin.dvi.Z -- enjoy, Ki.