(BIN) usenix83.tar.gz
 (BIN) usenix878889.tar.gz
 (TXT) usenix_80_delaware.readme
 (BIN) usenix_80_delaware.tar.gz
 (TXT) usenix_81.readme
 (BIN) usenix_81.tar.gz