Most recent papers have a pdf version, for which you can use acrobat, and a postscript version, for which you can use ghostview, but many older papers are in gzipped postscript, for which the Windows Winzip Wizard may not work, but which can be handled in Windows by PowerArchiver; also, old versions of Netscape usually do a good job, although recent versions may not. Many publications in specialized areas can be found in following webpages: See also the Meaning and Computation Lab homepage. If you still cannot find what you are looking for, please contact my Secretary at UCSD CSE Dept (+1 (858) 822-0702).
Some older publications are also available from the Programming Research Group of the Oxford University Computing Lab: See also the PRG publications page; for copies, contact the PRG Librarian at Oxford.
Maintained by Joseph Goguen
Last modified: Tue Sep 7 20:37:11 PDT 2004