rwxr-xr-x 4273/0      0 Jun 30 22:53 1994 papers/
rw-r--r-- 4273/0 243164 Jun 30 22:52 1994 papers/caching.ps
rw-r--r-- 4273/0 224401 Jun 30 22:52 1994 papers/complete.ps
rw-r--r-- 4273/0 124240 Jun 30 22:52 1994 papers/meta.ps
rw-r--r-- 4273/0 308108 Jun 30 22:53 1994 papers/overview.ps