Online bibliography for TACS'91

A bibliography for the upcoming International Conference on Theoretical
Aspects of Computer Software (TACS'91) is now available via anonymous
ftp and mail server from theory.lcs.mit.edu (  The file is
in BibTeX format and is in the file ftp/pub/meyer/tacs91.bib.  Also
available are tacs91.tex and tacs91.ps, which are LaTeX and PostScript
versions of the file for those who prefer that format.

To retrieve the file via ftp, connect to theory using "anonymous" as the
login name and "guest" as the password.

To retrieve the file via mail server, send a message to the address
archive-server@theory.lcs.mit.edu with the following line in the body:

        send meyer tacs91.bib

An index of other files can be retrieved with the command

        send meyer Index

More information on the archive-server can be obtained by sending a
message to the archive-server with only the word "help" in the body.

David M. Jones
Secretary to Professor Albert R. Meyer