The Collection of
Computer Science Bibliographies

Bibliography of CoFI Publications

Number of references:	138	Last update:	March 8, 2004
Number of online publications:	60	Supported:	yes
Most recent reference:	2004

Author:: Peter D. Mosses <pdmosses @ brics . dk> (email mangled to prevent spamming)
CoFI - The Common Framework Initiative for Algebraic Specification and Development of Software
Copyright:: CoFI
Abstract:: Publications concerning CoFI (The Common Framework Initiative for Algebraic Specification and Development of Software) and Casl (The Common Algebraic Specification Language)
Keywords:: CoFI, Casl, algebraic specification
Author Comments:: Includes annotations, abstracts, URLs of online versions, and entries for cross-referenced books and proceedings. A version with abbreviated strings and entries (also omitting annotations and abstracts) is available. "Casl" is rendered in small caps using "\textsc{...}" in BibTeX entries.

Original source:

ftp://ftp.brics.dk... (Format: bibtex, compressed with gzip)
Other sites:

ftp://ftp.brics.dk...
http://www.cofi.info... (Format: bibtex)
http://www.cofi.info... (Format: bibtex)
http://www.cofi.info... (Format: bibtex, compressed with gzip)
http://www.cofi.info... (Format: bibtex, compressed with gzip)

Types:: inproceedings(60), proceedings(32), article(15), techreport(13), incollection(9), book(7), mastersthesis(2)
Fields:: title(138), year(136), publisher(108), booktitle(104), annote(103), author(102), series(100), editor(97), abstract(81), pages(66), url(60), key(34), note(22), number(20), type(20), journal(15), volume(15), institution(13), chapter(9), month(5), extended-url(3), postscript-url(3), warning(3), address(2), optannote(2), optnote(2), school(2), abtract(1), edition(1), missingpages(1), optabstract(1), opteditor(1), optpublisher(1)
Distribution of publication dates: