d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiCoFI Document Bibliography v2.0
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiLast updated: 29 June 2001 by Peter D. Mosses, pdmosses(a)brics.dk
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- Mosses98WADT added
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- Mosses-CAFE added
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- Mosses-ASF+SDF-97 publisher corrected
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiUpdated: 28 Jan 2001 by Peter D. Mosses, pdmosses(a)brics.dk
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- adjusted for hyperref and cofidoc-v2.0.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiUpdated: 28 Nov 1999 by Peter D. Mosses, pdmosses(a)brics.dk
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- authors CoFI-LD etc. now OK with all standard bib styles
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- published papers now only with OPTnote showing CoFI archive copy
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski- format of published papers entries made uniform
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski******************************************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiThe string CoFI may be used as the author field of documents:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@string(CoFI = "{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@string(CoFI-LD = "{CoFI Language Design Task Group}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@string(CoFI-S = "{CoFI Methodology Task Group}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@string(CoFI-R = "{CoFI Reactive Systems Task Group}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@string(CoFI-S = "{CoFI Semantics Task Group}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@string(CoFI-T = "{CoFI Tools Task Group}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiThe `note' field is used for referring to electronically-available
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskidocuments, e.g. when the URL should always be displayed:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\url{URL}"
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskior merely to generate a hypertext link without showing the URL:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\href{URL}{TEXT}"
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiFor CoFI documents, however, ALWAYS use one of the following commands
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiinstead of explicit \url or \href commands:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \cofiNote{...}, \cofiDocument{...}, \cofiPublishedDocument{...}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiThe following commands are provided by the CoFIdoc package:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \CoFI, \CASL, \cofiWWW, \cofiFTP, \url{URL}, \href{URL}{TEXT}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiand used in the bib entries below. The following preamble ensures
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskithat they are available also when the bibliography is used in
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskidocuments without the CoFIdoc package. It also provides some
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiauxiliary commands which get redefined to provide links when
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiconverting documents to HTML.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiTo avoid relying on the xspace package, ALWAYS follow the \CASL and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski\CoFI commands by a non-space character in bib entries.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\CoFI}{CoFI}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\CASL}{CASL}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiWWW}{http://www.cofi.info}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiWWWpath}{http://www.cofi.info}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiFTP}{ftp://ftp.brics.dk/Projects/CoFI}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\url}[1]{#1}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\href}[2]{#2}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiWWWref}[2]{\href{\cofiWWWpath/#1}{#2}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiSN}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\cofiWWWref{StudyNotes/#1.html}{Study Note~#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiLDSN}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\cofiWWWref{StudyNotes/Lang/#1.html}{Language Design Study Note~#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiLDSNnoWWW}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\href{\cofiFTP/StudyNotes/Lang/}{Language Design Study Note~#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiNote}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\cofiWWWref{Notes/#1/index.html}{Note~#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiDissentNote}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\cofiWWWref{Notes/#1/index.html}{Note~#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiDocument}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\cofiWWWref{Documents/#1/index.html}{Documents/#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \providecommand{\cofiTentativeDocument}[1]
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {\cofiWWWref{Documents/Tentative/#1/index.html}{Documents/Tentative/#1}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiENTRY TEMPLATES for CoFI documents ****************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiunpublished(?-?,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "AUTHOR",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "TITLE",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "YEAR",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{?-?}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiThe BibTeX key is always to be the same as the CoFI Note label.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiENTRIES for CoFI Documents ************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\CASL} Reference Manual},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {Lecture Notes in Computer Science},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {2960},
30256573a343132354b122097b0ee1215dda1364Till Mossakowski note = {Free online version available at \url{http://www.cofi.info}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Michel Bidoit and Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\CASL} User Manual},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {Lecture Notes in Computer Science},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "CoFI",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{The Common Framework Initiative}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski for algebraic specification and development, Electronic Archives",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "CoFI Archives",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski howpublished = "Notes and Documents accessible from
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-T,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{The Common Framework Initiative}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski for algebraic specification and development: Tools",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "CoFI Tools",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski howpublished = "\url{http://www.loria.fr/\~{}hkirchne/CoFI/Tools/}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(TentativeLanguageSummary,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski (Tentative Design, version 0.95) -- Language Summary}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiTentativeDocument{LanguageSummary}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Summary, version 0.97}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Summary-v0.97}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(Rationale,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CoFI\ -- The Common Framework Initiative for Algebraic
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Specification and Development -- Rationale}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{Rationale}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Design Proposal}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Proposal}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Notes of Dissent from the Design Proposal}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Dissent}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-T,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Intended Tools}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Tools}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Bernd Krieg-Br{\"{u}}ckner",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "A Proposal for a Concrete Syntax for {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "Revised version:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \footlink{Postscript}{\cofiWWW/Documents/CASL/SyntaxExamples/Bremen.ps}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Fr\'ed\'eric Voisin and Michel Bidoit and Christine Choppy",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "A Concrete Syntax for {\CASL} (Tentative Proposal)",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "Version 2: \footlink{Postscript}{\cofiWWW/Documents/CASL/SyntaxExamples/Paris.ps}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "{IFIP WG 1.3}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{Referee Report on \CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/RefereeReport}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski (referring to \CASL version 0.97), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{Response to the Referee Report on \CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/RefereeResponse} (initial response,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski referring to \CASL version 0.97), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{Response to the Referee Report on \CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/RefereeResponse} (final response),
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Summary, version 0.98}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Summary-v0.98}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Christine Choppy and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bernd Krieg-Br{\"{u}}ckner and Peter D. Mosses and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Fr\'ed\'eric Voisin",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Concrete Syntax for {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/SyntaxIssues}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Christine Choppy and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bernd Krieg-Br{\"{u}}ckner and Peter D. Mosses and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Fr\'ed\'eric Voisin",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Concrete Syntax for {\CASL} --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Examples of Structured Specifications",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/SyntaxExamples} (obsolete), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Abstract Syntax for {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/AbstractSyntax}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Summary, version 0.99}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Summary-v0.99}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Summary, version 1.0}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Summary-v1.0}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Summary, version 1.0.1}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2001",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/v1.0.1/Summary}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2001",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Summary}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-LD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The Common Algebraic Specification Language --
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Summary: List of Changes}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/v1.0.1/Summary-Changes}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL: A Guided Tour of its Design}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/GuidedTour}, in \cite{CoFI}; also
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski available as slides:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \cofiWWWref{Presentations/GuidedTour/index.html}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \cofiWWWref{Presentations/Overview/index.html}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {Presentations/Overview}, in \cite{CoFI}"
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-S,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski -- Semantics}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDocument{CASL/Semantics} (version 0.96), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiCOORDINATION Notes C-? *****************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(CoFIdoc,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "The \texttt{CoFIdoc} package",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\href{\cofiFTP/Formatting/CoFIdoc/}{Formatting/CoFIdoc},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(C-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Formatting {\CoFI} documents using {\LaTeX}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{C-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(C-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Formatting {\CASL} specifications using {\LaTeX}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{C-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiLANGUAGE DESIGN Notes L-? **************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiCoFI Language Design Study Notes (1995-96) are listed at the end.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiFuture notes about language design will appear as CoFI Notes L-?.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Don Sannella",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Variables in Basic Specifications: Overloading and Overriding",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Anne Haxthausen and Bernd Krieg-Br{\"u}ckner and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Extending {\CASL} with Higher-order Functions",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-2} (superceded by \cofiNote{L-10}), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-3,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Maura Cerioli and Gianna Reggio",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Generic Specifications in {\CASL}: An Alternative Proposal",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDissentNote{L-3}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-4,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Anne Haxthausen and Maura Cerioli",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "The Role of Subsorts in Subsort Declarations and Datatype
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Declarations",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDissentNote{L-4}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-5,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Hubert Baumeister",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "On the Definedness of Instantiation of Generics",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiDissentNote{L-5}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-6,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Didier Bert",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Introduction of Morphisms as First Class Citizens in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-6}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-7,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Sublanguages of {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-7}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-8,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Anne Haxthausen and Bernd Krieg-Br{\"u}ckner and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Extending {\CASL} with Higher-order Functions --- Design Proposal",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-8} (see also \cofiNote{L-10}), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-9,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Two ``Functional Programming'' Sublanguages of {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-9}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-10,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Anne Haxthausen and Bernd Krieg-Br{\"u}ckner and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Subsorted Partial Higher-order Logic as an Extension of {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-10}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-11,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Markus Roggenbach and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Proposal of Some Annotations and Literal Syntax in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-11}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(L-12,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Markus Roggenbach and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Basic Datatypes in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{L-12}, version 0.4.1, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiMETHODOLOGY Notes M-? ******************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Hubert Baumeister",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Methodological Considerations on the Use of Extension and Union",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Christine Choppy",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Note on Data Type Declaration",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-3,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Maura Cerioli",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Different Kinds of Subsorting in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-3}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-4,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Don Sannella and Andrzej Tarlecki",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Architectural Specifications in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-4} (submitted for publication), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-5,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Version Control and Registration for {\CASL} Libraries",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-5}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-6,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Markus Roggenbach and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Methodological Guidelines",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2002",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-6}, in \cite{CoFI} (see also
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \cofiNote{L-12} on \emph{Basic Datatypes in {\CASL}}, in
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski which an earlier version of Note~M-6 was originally
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski incorporated)"
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-7,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski and Markus Roggenbach",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "The Datatypes {REAL} and {COMPLEX} in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-7}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(M-8,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "How to Write Consistent {\CASL} Design Specifications",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{M-8}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiREACTIVE SYSTEMS Notes R-? *************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiSEMANTICS Notes S-? ********************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-S,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski (Tentative Design, version 0.95) -- Language Summary,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski with annotations concerning questions and doubts}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-1} (revised), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Andrzej Tarlecki",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Signature Morphisms with Compound Identifiers in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-3,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Subsorting and Structured Specification",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-3}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-4,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-S,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski (Tentative Design, version 0.95) -- Language Summary,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski with annotations concerning the semantics of constructs}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-4}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-5,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Maura Cerioli and Anne Haxthausen and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bernd Krieg-Br{\"u}ckner and Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Permissive Subsorted Partial Logic in {CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-5} (to appear in Proc.\ AMAST'97), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-6,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-S,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski (version 0.97) -- Semantics}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-6}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-7,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Cocompleteness of the {\CASL} Signature Category",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-7}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-8,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Institution-Independent Semantics for {\CASL}-in-the-large",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-8} (revised), superseded by \cofiNote{S-10}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-9,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = CoFI-S,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL\ -- The \CoFI\ Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski -- Semantics}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-9} (\cofiDocument{CASL/Semantics}, version 0.96),
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-10,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Specifications in an Arbitrary Institution with Symbols",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-10} (supersedes \cofiNote{S-8}), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-11,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Lutz Schr{\"o}der and Till Mossakowski and Andrzej
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Tarlecki and Bartek Klin and Piotr Hoffman",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Semantics of Architectural Specifications in {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-11}, in \cite{CoFI}"
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(S-12,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski and Serge Autexier and Dieter Hutter",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Extending Development Graphs with Hiding",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{S-12}, in \cite{CoFI}"
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiTOOLS Notes T-? ************************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Magne Haveraaen",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Some Thoughts on {\CASL} Concrete Syntax",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski crossref = "MossakowskiKolyangKrieg-Brueckner97WADT",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-3,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Mark van den Brand and Paul Klint and Pieter Olivier",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "ATerms: Exchanging Data between Heterogeneous Tools for {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-3} (revised draft), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-4,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Potential Use of {SGML} for the {\CASL} Interchange Format",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-4}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-5,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Einar W. Karlsen",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Interoperability of {\CASL} Tools using {CORBA}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1997",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-5}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-6,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Standard annotations for parsers and static semantic checkers
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski-- a proposal",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-6} (revised), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-7,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Axel Schairer",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Using Standard Tools to Create Lexers and Parsers for {\CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-7}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-8,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Dieter Hutter",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Some Remarks on the Annotation \%cons",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-8}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-9,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Executing {\CASL} Equational Specifications with the
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {ELAN} Rewrite Engine",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-9} (revised version), in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(T-10,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL}: From Semantics to Tools",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiNote{T-10}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiLanguage Design Study Notes (1995-96) **************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiAll CoFI Language Design Study Notes (1995-96) are listed below.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiFuture notes about language design will appear as CoFI Notes with
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskilabels of the form L-?.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiThe following list is approximately in order of installation on
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskithe CoFI FTP and WWW archives.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(CFIPatternsDoc,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Hubert Baumeister",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "How to Write {CFI Language Design Study Notes}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiSN{CFIPatternsDoc}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(AH+FN-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Anne Haxthausen and Friederike Nickl",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Parameterization and Subsorting",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{AH+FN-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(OJD+AH+BKB-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Ole-Johan Dahl and Anne Haxthausen and Bernd Krieg-Br{\"u}ckner",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Subsorting and Higher-order Functions",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{OJD+AH+BKB-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(BKB+AH-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Bernd Krieg-Br{\"u}ckner and Anne Haxthausen",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Overloading, Subtypes and Higher Order Functions",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{BKB+AH-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(BKB+DTS-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Bernd Krieg-Br{\"u}ckner and Don Sannella",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Structuring Concepts In-The-Small",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{BKB+DTS-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(BKB+DTS-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Bernd Krieg-Br{\"u}ckner and Don Sannella ",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Structuring Concepts",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{BKB+DTS-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(BKB-3,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Bernd Krieg-Br{\"u}ckner",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Partiality",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{BKB-3}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(BKB-4,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Bernd Krieg-Br{\"u}ckner",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Data Types and Constraints",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{BKB-4}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(OO-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Olaf Owe",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "3-Valued Logic",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{OO-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(RG-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Radu Grosu",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Hiding",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{RG-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(EA+AH+GR-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Egidio Astesiano and Anne Haxthausen and Gianna Reggio",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Constraints",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{EA+AH+GR-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(GR-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Gianna Reggio",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Modules",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{GR-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(EA+GR-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Egidio Astesiano and Gianna Reggio",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Entities for {CFI}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSNnoWWW{EA+GR-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(EA+GR-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Egidio Astesiano and Gianna Reggio",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Development Process Methodology",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{EA+GR-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(DTS+AT-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Don Sannella and Andrzej Tarlecki",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Constructor implementations",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSNnoWWW{DTS+AT-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(DTS+AT-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Don Sannella and Andrzej Tarlecki",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Specifying and developing parameterised programs",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSNnoWWW{DTS+AT-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(DTS+RG-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Don Sannella and Radu Grosu",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Types in specification languages",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSNnoWWW{DTS+RG-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(MB+DTS+AT-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Don Sannella and Andrzej Tarlecki",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Behavioural Encapsulation",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSNnoWWW{MB+DTS+AT-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(DB-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Didier Bert",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Morphisms",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSNnoWWW{DB-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(MW-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Martin Wirsing",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Partiality",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{MW-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(OO+OJD-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Olaf Owe and Ole-Johan Dahl",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Consistency Requirements and Constructivity",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{OO+OJD-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(PDM-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "On Abstract Syntax",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{PDM-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(PDM-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "On Architectural Specifications",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{PDM-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(MC+PDM-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Maura Cerioli and Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "On Subsorting",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{MC+PDM-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(MB-2,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "On Generic Specifications",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{MB-2}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished(MC++-1,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Maura Cerioli and Till Mossakowski and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bernd Krieg-Br{\"u}ckner and Anne Haxthausen and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Peter D. Mosses and Olaf Owe",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Subsorting in {CASL}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = "\cofiLDSN{MC++-1}, in \cite{CoFI}")
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiPUBLISHED DOCUMENTS *****************************************
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{Mosses96EATCS,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{CoFI}: The {Common Framework Initiative} for
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Algebraic Specification},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = {Bull. EATCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1996},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski number = {59},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {127--132}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{Mosses97TAPSOFT,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\CoFI: The Common Framework Initiative for
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Algebraic Specification and Development}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {TAPSOFT '97, Proc. Intl. Symp. on Theory and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Practice of Software Development},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {LNCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {1214},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer-Verlag},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {115--137},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1997},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski OPTnote = "\cofiTentativeDocument{Mosses97TAPSOFT}, in
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{Mosses97ASF+SDF,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\CASL} for {ASF+SDF} Users},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {ASF+SDF '97, Proc. 2nd Intl. Workshop on the Theory and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Practice of Algebraic Specifications},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1997},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {British Computer Society,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \url{http://www.ewic.org.uk/ewic/workshop/list.cfm}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {ASFSDF-97},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {Electronic Workshops in Computing}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{Mosses98WADT,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\CASL}: A Guided Tour of its Design},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Proc. 13th International Workshop, WADT '98, Lisbon,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 1998, Selected Papers},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski OPTeditor = {J. L. Fiadeiro},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {LNCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {1589},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {216--240},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer-Verlag},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1999},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InCollection{Mosses-CAFE,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Peter D. Mosses},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {K. Futatsugi and A. T. Nakagawa and T. Tamai},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\CASL} for {CafeOBJ} Users},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {{CAFE}: An Industrial-Strength Algebraic Formal Method},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski chapter = {6},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Elsevier},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {2000},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {121-144}}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings(Mossakowski97WADT,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Till Mossakowski},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Colimits of Order-Sorted Specifications},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Recent Trends in Algebraic Development
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Techniques, Proc. 12th International Workshop,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski WADT '97, Tarquinia, 1997, Selected Papers},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski OPTeditor = {F. Parisi-Presicce},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {LNCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {1376},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {316--332},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer-Verlag},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1998}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{MossakowskiKolyangKrieg-Brueckner97WADT,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Till Mossakowski and Kolyang and Bernd
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Krieg-Br{\"u}ckner},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Static Semantic Analysis and Theorem Proving for
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Proc. 12th International Workshop, WADT '97,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Tarquinia, 1997, Selected Papers},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski OPTeditor = {F. Parisi-Presicce},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {LNCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {1376},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {333--348},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer-Verlag},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1998}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{Mossakowski98WADT,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Till Mossakowski},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Translating {OBJ3} to {\CASL}: The Institution
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Proc. 13th International Workshop, WADT '98, Lisbon,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 1998, Selected Papers},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski OPTeditor = {J. L. Fiadeiro},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {LNCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {1589},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {198--214},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer-Verlag},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1999},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@inproceedings{BidoitSannellaTarlecki98AMAST,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Michel Bidoit and Donald Sannella and Andrzej
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Architectural Specifications in {\CASL}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {AMAST '98, Proc. 7th Intl. Conference on Algebraic
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Methodology and Software Technology, Manaus},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Springer-Verlag},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {LNCS},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {1548},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {341--357},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@article{CaslTCS2002,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Astesiano, Egidio and Bidoit, Michel and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Krieg-Br{\"u}ckner, Bernd and Mosses, Peter D.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Sannella, Don and Tarlecki, Andrzej",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "{\CASL}: The Common Algebraic Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = tcs,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = 286,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "153--196",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski abstract = "The Common Algebraic Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski (CASL) is an expressive language for the formal
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski specification of functional requirements and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski modular design of software. It has been
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski designed by COFI, the international Common
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Framework Initiative for algebraic
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski specification and development. It is based on a
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski critical selection of features that have
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski already been explored in various contexts,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski including subsorts, partial functions,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski first-order logic, and structured and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski architectural specifications. CASL should
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski facilitate interoperability of many existing
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski algebraic prototyping and verification tools.
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski This paper gives an overview of the CASL
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski design. The major issues that had to be
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski resolved in the design process are indicated,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and all the main concepts and constructs of
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski CASL are briefly explained and illustrated the
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski reader is referred to the CASL Language Summary
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski for further details. Some familiarity with the
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski fundamental concepts of algebraic specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski would be advantageous."