Bibliography of CoFI Publications

Edited by Peter D. Mosses

March 8, 2004

The full Bibliography of CoFI Publications is available in BibTeX format at cofi.bib and cofi.bib.gz, and as a formatted document in several styles:

Annotated - showing annotations, but not abstracts nor URLs (this is the style used for the Annotated Bibliography in the CASL Reference Manual);
Unabbreviated - showing URLS, but not annotations nor abstracts; and
Cross-referenced proceedings and books - showing the entries that may be generated when citing two or more item from the same collection.
List of Abstracts - showing abstracts, but not annotations nor URLs.

A list of changes is also available.

The space required for references to CoFI publications can be reduced by about 50% by using the abbreviated bibliography, available in BibTeX format at cofi-abbr.bib and cofi-abbr.bib.gz.

Please start using the new CoFI bibliography as soon as possible!

Please submit missing abstracts, corrections and additions in the following format:

New entries:: Send a complete, valid, bibtex entry.
Corrections and additions to current entries:: Send only the citation key and the fields to be changed or added.

All new and corrected bibliographic data is to be submitted by e-mail to the editor, with CC to all co-authors.

The present version of the annotated bibliography is to be included in the CASL Book, and the full bibliography (including the abstracts) is to be incorporated in The Collection of Computer Science Bibliographies.

Bibliography Format

See the files cofi.bib and cofi-abbr.bib for examples of the adopted format of BibTeX entries.

The following non-standard fields are used for URLs, annotations, and abstracts:

URL = "..." specifies the primary URL; further fields of the form URL-... = "..." can be added for secondary URLs.¹
annote = "..." specifies the annotation. It should start with a capital letter, and finish with a period. Miscellaneous information that should appear in all references to the publication should be included in the note field, rather than in the annote field, since the latter isn't printed by the standard BibTeX styles. Citations of other CoFI publications should use the \cite command. Citations of non-CoFI publications should give the essential bibliographic data as plain text.
abstract = "..." specifies the abstract. The format is otherwise the same as for annotations. Note that paragraphs should be separated by the command \par (since bibtex discards blank lines).

N.B. Use only standard LaTeX commands in the BibTeX entries. The strings defined at the beginning of the bibliography files may be used freely. The crossref field should be used for papers in proceedings or books - see cross-referenced proceedings and books for the currently available entries.

Here is an example of an annotation, used for the TCS paper on CASL Astesiano:2002:CASL:

    annote = "Gives an overview of the  Casl design,
             indicating major issues, and explaining main concepts
             and constructs. Compares  Casl to some other
             major algebraic specification languages.",

It should generally be quite straightforward for the authors to obtain annotations by abbreviating the corresponding abstracts. Please avoid wasting space with phrases like "This paper...", and use the active (not passive) forms of verbs.

For most entries, the new CoFI bibliography uses a standard scheme for citation tags (following BibNet):

Author:YEAR:INI,

where Author is the last name of the first author, YEAR is the 4-digit publication year, and INI is the initial letters of the first 3 (significant) words in the title, treating hyphens as spaces. (Exceptions are made for the various parts of the CASL Book, and for the proceedings of conferences.)

CoFI : Bibliography -- Version: -- March 8, 2004.
Comments to pdmosses@brics.dk