Index of /ftp-pub/alex/usenix.wofs92 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        15-Mar-2001 18:56      -  
[TXT] usenix.wofs92.txt       15-Mar-2001 18:53    31k  
[   ] usenix.wofs92.ps        15-Mar-2001 18:53    87k  
[   ] usenix.wofs92.fm        15-Mar-2001 18:53    94k  
[   ] reference               15-Mar-2001 18:51     1k
Apache/1.3.34 Server at online.offshore.com.ai Port 80