Changes to Bibliography of CoFI Publications

Edited by Peter D. Mosses

March 8, 2004

This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Bibliography/Changes/.

Copyright ©2004 CoFI, The Common Framework Initiative for Algebraic Specification and Development.¹

Abstract

This document lists the changes made to the files cofi.bib and cofi-abbr.bib.

The changes have been implemented in the current versions of the annotated bibliography, the abbreviated bibliography, the unabbreviated bibliography, the cross-referenced proceedings and books, and the list of abstracts.

Changes

8 Mar 2004

 
Names of fields for extra URLs changed from url-xxx to xxx-url, to conform to the requirements for submission to The Collection of Computer Science Bibliographies.

Tilde replaced by an ordinary space in defined series strings.

Links to gzipped versions of the bib files added.

7 Feb 2004

 
List of abstracts added.
 

17 Jan 2004

 
Annotations/abstracts updated from submitted data (thanks!): Astesiano:1998:UHM, Astesiano:1999:ASC, Astesiano:2000:PDC, Borzyszkowski:2000:GIC, Borzyszkowski:2000:HOL, Borzyszkowski:2002:LSS, Brand:2000:EAT, COMPASS:1997, Coscia:1999:JJT, Costa:1997:SAD, IFIP:1999:AFS, Klin:2000:ISS, Reggio:1999:CLC, Reggio:1999:MPU, Reggio:2000:ASU, Reggio:2000:CCC, Reggio:2000:CCS, Schroeder:2003:CCP, Schroeder:2003:HMP, Schroeder:2003:MID, Schroeder:????:MID, Schroeder:2003:MIH.

Mossakowski:????:CCA has been replaced by Mossakowski:2003:CCA.

11 Jan 2004

 
Added (thanks!): Aspinall:2002:FSC, Choppy:2003:IUC, Machado:2002:UTC.

Updated from submitted data (thanks!): Baumeister:2004:CASL-Semantics, Bidoit:2002:ASC, Choppy:2000:UCS, Choppy:2003:TFG, Reggio:1999:CFD, Reggio:2000:AUA.

Mark-up corrected: IFIP-AFS, Ledoux:2000:FSM, Ledoux:2000:HLO, Ledoux:2001:GMC, Ledoux:2001:SFC, Ledoux:2002:SPF.

10 Dec 2003

 
Citation tags used in annote fields of Reggio:1999:CLC and Reggio:2003:CLC updated in cofi.bib.
 

8 Dec 2003

 
All the submitted annotations have been added and are shown in the annotated bibliography.

All InProceedings and InCollection entries now use cross-referencing.

The volumes/numbers in well-known series (LNCS, ENTCS) are now incorporated in the series field.

The entries for the various parts of the CASL Reference Manual now use the chapter field with an explicit type.

The citation tags of cross-referenced proceedings are now based on the year of the event (which may differ from the year of publication).

An abbreviated bibliography is available. It omits annotations, abstracts, and editors of proceedings; it also abbreviates titles of proceedings and journals.

The "von" parts of names are now disregarded in connection with sorting, and appear to work with all the standard styles.²

Various minor changes have been made for uniformity.

23 Aug 2003

 
Expanded the description of the intended format for annotations etc.

Removed 4 entries reported as not closely related to CoFI/CASL.

22 Aug 2003:

 
Corrected Brand:2000:EAT (author, removed key), Brand:2000:DPT (author, removed key), Mossakowski:2003:A-CS (author), Schroeder:????:ASC (note), WADT:2003 (booktitle).

Added Bidoit:2002:GDL, Hoffmann:2003:AHO, Mossakowski:2003:CWM, Schroeder:2003:CCP, Schroeder:2003:HMP, Schroeder:2003:M-ID, Schroeder:2003:M-IH, Tarlecki:2003:AST, FASE:2003.

Added strings entcs, pub-ios.

13 Aug 2003:

 
Initial version, based on citation data from CoFI:2003:CASL-RM, Sannella:2001:CoFI-RP.