Unabbreviated 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/Unabbreviated/.

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

Abstract

This bibliography lists the entries in the file cofi.bib, in the order in which they occur, showing their citation tags and their primary URL fields. See the changes document for a list of changes.

The annotated bibliography and the abbreviated bibliography list the same references as this bibliography, as does the list of abstracts. The cross-referenced proceedings and books are listed separately.

References

 [Ancona:2000:ECL]

Davide Ancona, Maura Cerioli, and Elena Zucca.
Extending Casl by late binding.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 53-72. Springer, 2000.
Available from ftp://ftp.disi.unige.it/pub/person/AnconaD/DISI-TR-99-14.ps.gz.

 [Aspinall:2002:FSC]

David Aspinall and Donald Sannella.
From specifications to code in Casl.
In H. Kirchner and C. Ringeissen, editors, Algebraic Methods and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, Proceedings, LNCS Vol. 2422, pages 1-14. Springer, 2002.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/amast2002.pdf.

 [Astesiano:1998:UHM]

Egidio Astesiano and Gianna Reggio.
UML as heterogeneous multiview notation: Strategies for a formal foundation.
In L. Andrade, A. Moreira, A. Deshpande, and S. Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How? ACM Press, 1998.

 [Astesiano:1999:ASC]

Egidio Astesiano, Manfred Broy, and Gianna Reggio.
Algebraic specification of concurrent systems.
In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Reports, chapter 13. Springer, 1999.

 [Astesiano:2000:PDC]

Egidio Astesiano, Maura Cerioli, and Gianna Reggio.
Plugging data constructs into paradigm-specific languages: Towards an application to UML.
In T. Rus, editor, Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, Proceedings, LNCS Vol. 1816, pages 273-292. Springer, 2000.
Available from ftp://ftp.disi.unige.it/pub/person/ReggioG/AstesianoEtAll00a.ps.

 [Astesiano:2001:LTL]

Egidio Astesiano and Gianna Reggio.
Labelled Transition Logic: An outline.
Acta Informatica, 37(11-12), 2001.

 [Astesiano:2002:CASL]

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, and Andrzej Tarlecki.
Casl: The Common Algebraic Specification Language.
Theoretical Computer Science, 286(2):153-196, 2002.

 [Autexier:2000:TEF]

Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer.
Towards an evolutionary formal software-development using Casl.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 73-88. Springer, 2000.

 [Autexier:2002:DGM]

Serge Autexier, Dieter Hutter, Till Mossakowski, and Axel Schairer.
The development graph manager Maya (system description).
In H. Kirchner and C. Ringeissen, editors, Algebraic Methods and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, Proceedings, LNCS Vol. 2422, pages 495-502. Springer, 2002.

 [Autexier:2002:IHD]

Serge Autexier and Till Mossakowski.
Integrating Hol-Casl into the development graph manager Maya.
In A. Armando, editor, Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, Proceedings, LNCS Vol. 2309, pages 2-17. Springer, 2002.

 [Baumeister:2000:ASC]

Hubert Baumeister and Didier Bert.
Algebraic specification in Casl.
In M. Frappier and H. Habrias, editors, Software Specification Methods: An Overview Using a Case Study, FACIT (Formal Approaches to Computing and Information Technology), pages 209-224. Springer, 2000.
Available from http://www.informatik.uni-muenchen.de/~baumeist/CoFI/case/pubs/casl-cas% e.ps.gz.

 [Baumeister:2000:RAD]

Hubert Baumeister.
Relating abstract datatypes and Z-schemata.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 366-382. Springer, 2000.
Available from http://www.informatik.uni-muenchen.de/~baumeist/publications/wadt99.pdf% .

 [Baumeister:2000:SBE]

Hubert Baumeister and Alexandre V. Zamulin.
State-based extension of Casl.
In W. Grieskamp, T. Santen, and B. Stoddart, editors, Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, Proceedings, LNCS Vol. 1945, pages 3-24. Springer, 2000.
Available from http://www.informatik.uni-muenchen.de/~baumeist/ifm2000.ps.gz.

 [Baumeister:2004:CASL-Semantics]

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, and Andrzej Tarlecki.
Casl semantics.
In Casl Reference Manual, LNCS Vol. 2960 (IFIP Series), part III. Springer, 2004.
Edited by D. Sannella and A. Tarlecki.

 [Bert:2000:ASO]

Didier Bert and S. Lo Presti.
Algebraic specification of operator-based multimedia scenarios.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 383-400. Springer, 2000.

 [Bidoit:1998:ASC]

Michel Bidoit, Donald Sannella, and Andrzej Tarlecki.
Architectural specifications in Casl.
In A. M. Haeberer, editor, Algebraic Methodology and Software Technology, 7th International Conference, AMAST'98, Amazonia, Brazil, January 1999, Proceedings, LNCS Vol. 1548, pages 341-357. Springer, 1998.
An extended and improved version is [Bidoit:2002:ASC].

 [Bidoit:2002:ASC]

Michel Bidoit, Donald Sannella, and Andrzej Tarlecki.
Architectural specifications in Casl.
Formal Aspects of Computing, 13:252-273, 2002.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/archs.pdf.

 [Bidoit:2002:GDL]

Michel Bidoit, Donald Sannella, and Andrzej Tarlecki.
Global development via local observational construction steps.
In K. Diks and W. Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, Proceedings, LNCS Vol. 2420, pages 1-24. Springer, 2002.

 [Bidoit:2004:CASL-UM]

Michel Bidoit and Peter D. Mosses.
Casl User Manual.
LNCS Vol. 2900 (IFIP Series). Springer, 2004.
With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki.

 [Bidoit:2004:CFS]

Michel Bidoit, Donald Sannella, and Andrzej Tarlecki.
Toward component-oriented formal software development: An algebraic approach.
In M. Wirsing, A. Knapp, and S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002, LNCS Vol. 2941. Springer, 2004.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/monterey.pdf.

 [Borzyszkowski:2000:GIC]

Tomasz Borzyszkowski.
Generalized interpolation in Casl.
Information Processing Letters, 76:19-24, 2000.
Available from http://delta.math.univ.gda.pl/~tomek/papers/ipl00.pdf.

 [Borzyszkowski:2000:HOL]

Tomasz Borzyszkowski.
Higher-order logic and theorem proving for structured specifications.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 401-418. Springer, 2000.
Available from http://delta.math.univ.gda.pl/~tomek/papers/wadt99.pdf.

 [Borzyszkowski:2002:LSS]

Tomasz Borzyszkowski.
Logical systems for structured specifications.
Theoretical Computer Science, 286:197-245, 2002.
Available from http://delta.math.univ.gda.pl/~tomek/papers/tcs02.pdf.

 [Brand:2000:DPT]

Mark G. J. van den Brand and Jeroen Scheerder.
Development of parsing tools for Casl using generic language technology.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 89-105. Springer, 2000.

 [Brand:2000:EAT]

Mark G. J. van den Brand, Hayco A. de Jong, Paul Klint, and Pieter A. Olivier.
Efficient annotated terms.
Software: Practice and Experience, 30(3):259-291, 2000.

 [COMPASS:1997]

Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, and Markus Wolf, editors.
Algebraic System Specification and Development: Survey and Annotated Bibliography.
BISS Monographs. Shaker, 2nd edition, 1998.

 [Cerioli:1997:PSP]

Maura Cerioli, Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski.
Permissive subsorted partial logic in Casl.
In M. Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST'97, Sydney, Australia, Proceedings, LNCS Vol. 1349, pages 91-107. Springer, 1997.

 [Cerioli:1999:TEP]

Maura Cerioli, Till Mossakowski, and Horst Reichel.
From total equational to partial first-order logic.
In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors, Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Reports, chapter 3. Springer, 1999.

 [Choppy:1999:UCS]

Christine Choppy and Gianna Reggio.
Using Casl to specify the requirements and the design: A problem specific approach - complete version.
Technical Report DISI-TR-99-33, Univ. of Genova, 1999.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio99a.ps.
This is an extended version of [Choppy:2000:UCS], including complete case studies.

 [Choppy:2000:UCS]

Christine Choppy and Gianna Reggio.
Using Casl to specify the requirements and the design: A problem specific approach.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 104-123. Springer, 2000.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio99a.ps.
An extended version is provided in [Choppy:1999:UCS].

 [Choppy:2003:TFG]

Christine Choppy and Gianna Reggio.
Towards a formally grounded software development method.
Technical Report DISI-TR-03-35, Univ. of Genova, August 2003.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio03a.pdf.

 [Choppy:2003:IUC]

Christine Choppy and Gianna Reggio.
Improving use case based requirements using formally grounded specifications (complete version).
Technical Report DISI-TR-03-45, Univ. of Genova, October 2003.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio03c.pdf.
A short version is to appear in Proc. FASE 2004.

 [CoFI:2004:CASL-RM]

CoFI (The Common Framework Initiative).
Casl Reference Manual.
LNCS Vol. 2960 (IFIP Series). Springer, 2004.

 [CoFI:2004:CASL-Summary]

CoFI Language Design Group.
Casl summary.
In Casl Reference Manual, LNCS Vol. 2960 (IFIP Series), part I. Springer, 2004.
Edited by B. Krieg-Brückner and P. D. Mosses.

 [CoFI:2004:CASL-Syntax]

CoFI Language Design Group.
Casl syntax.
In Casl Reference Manual, LNCS Vol. 2960 (IFIP Series), part II. Springer, 2004.
Edited by B. Krieg-Brückner and P. D.Mosses.

 [Coscia:1999:JJT]

Eva Coscia and Gianna Reggio.
JTN: A Java-targeted graphic formal notation for reactive and concurrent systems.
In J.-P. Finance, editor, Fundamental Approaches to Software Engineering, Second International Conference, FASE'99, Amsterdam, The Netherlands, Proceedings, LNCS Vol. 1577, pages 77-97. Springer, 1999.

 [Costa:1997:SAD]

Gerardo Costa and Gianna Reggio.
Specification of abstract dynamic datatypes: A temporal logic approach.
Theoretical Computer Science, 173(2):513-554, 1997.

 [Haveraaen:1999:FSE]

Magne Haveraaen, Helmer André Friis, and Tor Arne Johansen.
Formal software engineering for computational modeling.
Nordic Journal of Computing, 6(3):241-270, 1999.

 [Haveraaen:2000:2TS]

Magne Haveraaen.
A 2-tiered software process model for utilizing Casl.
Technical Report 208, Dept. of Informatics, Univ. of Bergen, October 2000.
Available from http://www.ii.uib.no/saga/papers/2tier-1d.ps.

 [Haveraaen:2000:CSA]

Magne Haveraaen.
Case study on algebraic software methodologies for scientific computing.
Scientific Programming, 8(4):261-273, 2000.
Available from http://www.ii.uib.no/saga/papers/spr67.pdf.

 [Hoffman:2000:SAS]

Piotr Hoffman.
Semantics of architectural specifications.
Master's thesis, Warsaw Univ., 2000.
In Polish.

 [Hoffman:2001:VAS]

Piotr Hoffman.
Verifying architectural specifications.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267, pages 152-175. Springer, 2001.
Available from http://www.mimuw.edu.pl/~piotrek/WADT2001.ps.gz.

 [Hoffman:2003:VGC]

Piotr Hoffman.
Verifying generative Casl architectural specifications.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, LNCS Vol. 2755, pages 233-252. Springer, 2003.

 [Hoffmann:2003:AHO]

Kathrin Hoffmann and Till Mossakowski.
Algebraic higher order nets: Graphs and Petri nets as tokens.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, LNCS Vol. 2755, pages 253-267. Springer, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/petri.ps.

 [Hussmann:1999:ADT]

Heinrich Hussmann, Maura Cerioli, Gianna Reggio, and Françoise Tort.
Abstract data types and UML models.
Technical Report DISI-TR-99-15, Univ. of Genova, 1999.

 [Hussmann:2000:UC]

Heinrich Hussmann, Maura Cerioli, and Hubert Baumeister.
From UML to Casl (static part).
Technical Report DISI-TR-00-06, Univ. of Genova, 2000.

 [IFIP:1999:AFS]

Egidio Astesiano, Hans-Jörg Kreowski, and Bernd Krieg-Brückner, editors.
Algebraic Foundations of Systems Specification.
IFIP State-of-the-Art Reports. Springer, 1999.

 [Klin:2000:ISS]

Bartek Klin.
An implementation of static semantics for architectural specifications in Casl.
Master's thesis, Warsaw Univ., 2000.
In Polish.

 [Klin:2001:CAC]

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, and Till Mossakowski.
Checking amalgamability conditions for Casl architectural specifications.
In J. Sgall, A. Pultr, and P. Kolman, editors, Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001, Marianske Lazne, Czech Republic, Proceedings, LNCS Vol. 2136, pages 451-463. Springer, 2001.
Available from http://www.informatik.uni-bremen.de/~till/papers/Cellpaper.ps.

 [Ledoux:2000:FSM]

Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, and Yves Bertrand.
Formal specification for a mathematics-based application domain: Geometric modeling.
Technical Report 51, LaMI, Université d'Evry-Val d'Essonne, Evry, 2000.
Available from ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html.

 [Ledoux:2000:HLO]

Franck Ledoux, Agnès Arnould, Pascale Le Gall, and Yves Bertrand.
A high-level operation in 3D modeling: A Casl case study.
Technical Report 52, Lami, Université d'Evry-Val d'Essonne, Evry, 2000.
Available from ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html.

 [Ledoux:2001:GMC]

Franck Ledoux, Agnès Arnould, Pascale Le Gall, and Yves Bertrand.
Geometric modeling with Casl.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267, pages 176-200. Springer, 2001.

 [Ledoux:2001:SFC]

Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, and Yves Bertrand.
Spécifications formelles du chanfreinage.
In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Nancy, France. ADER/LORIA, June 2001.
Available from http://www.loria.fr/conferences/afadl/.

 [Ledoux:2002:SPF]

Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, and Yves Bertrand.
Spécifications formelles du chanfreinage.
Technique et Science Informatiques, 21(8):1-26, 2002.

 [Machado:2002:UTC]

Patricia D. L. Machado and Donald Sannella.
Unit testing for Casl architectural specifications.
In K. Diks and W. Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, Proceedings, LNCS Vol. 2420, pages 506-518. Springer, 2002.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/mfcs2002.pdf.

 [Mossakowski:1998:COS]

Till Mossakowski.
Colimits of order-sorted specifications.
In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, 1997, Selected Papers, LNCS Vol. 1376, pages 316-332. Springer, 1998.
Available from http://www.informatik.uni-bremen.de/~till/papers/colimits.ps.

 [Mossakowski:1998:SSA]

Till Mossakowski, Kolyang, and Bernd Krieg-Brückner.
Static semantic analysis and theorem proving for Casl.
In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, 1997, Selected Papers, LNCS Vol. 1376, pages 333-348. Springer, 1998.
Available from http://www.informatik.uni-bremen.de/~till/papers/CASL.ps.

 [Mossakowski:1999:TOC]

Till Mossakowski.
Translating OBJ3 to Casl: The institution level.
In J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, 1998, Selected Papers, LNCS Vol. 1589, pages 198-215. Springer, 1999.
Available from http://www.informatik.uni-bremen.de/~till/papers/CASLOBJ.ps.

 [Mossakowski:2000:CST]

Till Mossakowski.
Casl: From semantics to tools.
In S. Graf and M. Schwartzbach, editors, Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Berlin, Germany, Proceedings, LNCS Vol. 1785, pages 93-108. Springer, 2000.
Available from http://www.informatik.uni-bremen.de/~till/papers/casltools.ps.

 [Mossakowski:2000:SAI]

Till Mossakowski.
Specification in an arbitrary institution with symbols.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 252-270. Springer, 2000.
Available from http://www.informatik.uni-bremen.de/~till/papers/inst.ps.

 [Mossakowski:2000:SPH]

Till Mossakowski, Anne Haxthausen, and Bernd Krieg-Brückner.
Subsorted partial higher-order logic as an extension of Casl.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 126-145. Springer, 2000.
Available from http://www.informatik.uni-bremen.de/~till/papers/HOCASL.ps.

 [Mossakowski:2001:EDG]

Till Mossakowski, Serge Autexier, and Dieter Hutter.
Extending development graphs with hiding.
In H. Hussmann, editor, Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Genova, Italy, Proceedings, LNCS Vol. 2029, pages 269-283. Springer, 2001.
Available from http://www.informatik.uni-bremen.de/~till/papers/dgh.ps.

 [Mossakowski:2001:IIS]

Till Mossakowski and Bartek Klin.
Institution-independent static analysis for Casl.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267, pages 221-237. Springer, 2001.
Available from http://www.informatik.uni-bremen.de/~till/papers/cats.ps.

 [Mossakowski:2002:RCO]

Till Mossakowski.
Relating Casl with other specification languages: The institution level.
Theoretical Computer Science, 286:367-475, 2002.
Available from http://www.informatik.uni-bremen.de/~till/papers/RelatingCASL.ps.

 [Mossakowski:2003:ACS]

Till Mossakowski, Horst Reichel, Markus Roggenbach, and Lutz Schröder.
Algebraic-coalgebraic specification in CoCasl.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, LNCS Vol. 2755, pages 376-392. Springer, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/cocasl.ps.
Extended version submitted for publication.

 [Mossakowski:2003:CWM]

Till Mossakowski, Markus Roggenbach, and Lutz Schröder.
CoCasl at work - modelling process algebra.
In H. P. Gumm, editor, Coalgebraic Methods in Computer Science, CMCS'03, Warsaw, Poland, Proceedings, ENTCS Vol. 82.1. Elsevier, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/process_algebra.ps.

 [Mossakowski:2003:FHS]

Till Mossakowski.
Foundations of heterogeneous specification.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, LNCS Vol. 2755, pages 359-375. Springer, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/hetspec.ps.

 [Mossakowski:2003:CCA]

Till Mossakowski, Anne Haxthausen, Donald Sannella, and Andrzej Tarlecki.
Casl, the Common Algebraic Specification Language: Semantics and proof theory.
Computing and Informatics, 22:285-321, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/cai.ps.

 [Mossakowski:2004:CASL-Logic]

Till Mossakowski, Piotr Hoffman, Serge Autexier, and Dieter Hutter.
Casl logic.
In Casl Reference Manual, LNCS Vol. 2960 (IFIP Series), part IV. Springer, 2004.
Edited by T. Mossakowski.

 [Mosses:1996:CoFI]

Peter D. Mosses.
CoFI: The Common Framework Initiative for algebraic specification.
Bulletin of the EATCS, 59:127-132, June 1996.
An updated version is [Mosses:2001:CoFI].

 [Mosses:1997:CAS]

Peter D. Mosses.
Casl for Asf+Sdf users.
In M. P. A. Sellink, editor, ASF+SDF'97, Proc. 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, volume ASFSDF-97 of Electronic Workshops in Computing. British Computer Society, 1997.
Available from http://www.ewic.org.uk/ewic/workshop/list.cfm.

 [Mosses:1997:CoFI]

Peter D. Mosses.
CoFI: The Common Framework Initiative for algebraic specification and development.
In M. Bidoit and M. Dauchet, editors, TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, Proceedings, LNCS Vol. 1214, pages 115-137. Springer, 1997.

 [Mosses:1999:CGT]

Peter D. Mosses.
Casl: A guided tour of its design.
In J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, 1998, Selected Papers, LNCS Vol. 1589, pages 216-240. Springer, 1999.

 [Mosses:2000:CAS]

Peter D. Mosses.
Casl and Action Semantics.
In P. D. Mosses and H. Moura, editors, AS 2000, Third International Workshop on Action Semantics, Recife, Brazil, Proceedings, BRICS NS-00-6, pages 62-78. Dept. of Computer Science, Univ. of Aarhus, 2000.
Available from http://www.brics.dk/~pdm/papers/Mosses-AS-2000-CASL+AS/.

 [Mosses:2000:CCU]

Peter D. Mosses.
Casl for CafeOBJ users.
In K. Futatsugi, A. T. Nakagawa, and T. Tamai, editors, CAFE: An Industrial-Strength Algebraic Formal Method, chapter 6, pages 121-144. Elsevier, 2000.

 [Mosses:2001:CoFI]

Peter D. Mosses.
CoFI: The common framework initiative for algebraic specification and development.
In G. Paun, G. Rozenberg, and A. Salomaa, editors, Current Trends in Theoretical Computer Science: Entering the 21st Century, pages 153-163. World Scientific, 2001.

 [Reggio:1999:CLC]

Gianna Reggio, Egidio Astesiano, and Christine Choppy.
Casl-Ltl: A Casl extension for dynamic reactive systems - summary.
Technical Report DISI-TR-99-34, Univ. of Genova, 1999.
Revised August 2003, see [Reggio:2003:CLC].

 [Reggio:1999:CFD]

Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hussmann.
A Casl formal definition of UML active classes and associated state machines.
Technical Report DISI-TR-99-16, Univ. of Genova, 1999.
Available from ftp://ftp.disi.unige.it/person/ReggioG/Reggio99b.ps.
A short version is published in [Reggio:2000:AUA].

 [Reggio:1999:MPU]

Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hussmann.
Making precise UML active classes modeled by state charts.
Technical Report DISI-TR-99-14, Univ. of Genova, 1999.

 [Reggio:2000:ASU]

Gianna Reggio, Maura Cerioli, and Egidio Astesiano.
An algebraic semantics of UML supporting its multiview approach.
In D. Heylen, A. Nijholt, and G. Scollo, editors, Algebraic Methods in Language Processing, AMiLP 2000, TWLT Vol. 16. Univ. of Twente, 2000.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll00a.ps.

 [Reggio:2000:AUA]

Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hussmann.
Analysing UML active classes and associated state machines - A lightweight approach.
In T. Maibaum, editor, Fundamental Approaches to Software Engineering, Third International Conference, FASE 2000, Berlin, Germany, Proceedings, LNCS Vol. 1783, pages 127-146. Springer, 2000.
Available from ftp://ftp.disi.unige.it/person/ReggioG/Reggio99a.ps.
An extended version is provided in [Reggio:1999:CFD].

 [Reggio:2000:CCC]

Gianna Reggio and Lorenzo Repetto.
Casl-Chart: A combination of statecharts and of the algebraic specification language Casl.
In T. Rus, editor, Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, Proceedings, LNCS Vol. 1816, pages 243-257. Springer, 2000.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ReggioRepetto00b.ps.

 [Reggio:2000:CCS]

Gianna Reggio and Lorenzo Repetto.
Casl-Chart: Syntax and semantics.
Technical Report DISI-TR-00-1, Univ. of Genova, 2000.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ReggioRepetto00a.ps.

 [Reggio:2001:RSU]

Gianna Reggio, Maura Cerioli, and Egidio Astesiano.
Towards a rigorous semantics of UML supporting its multiview approach.
In H. Hussmann, editor, Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Genova, Italy, Proceedings, LNCS Vol. 2029, pages 171-186. Springer, 2001.

 [Reggio:2003:CLC]

Gianna Reggio, Egidio Astesiano, and Christine Choppy.
Casl-Ltl: A Casl extension for dynamic reactive systems - version 1.0 - summary.
Technical Report DISI-TR-03-36, Univ. of Genova, 2003.
Available from ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll03b.pdf.
A revision of [Reggio:1999:CLC].

 [Roggenbach:2000:SRN]

Markus Roggenbach, Lutz Schröder, and Till Mossakowski.
Specifying real numbers in Casl.
In D. Bert, C. Choppy, and P. D. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827, pages 146-161. Springer, 2000.
Available from http://www.informatik.uni-bremen.de/~till/papers/reals.ps.

 [Roggenbach:2001:TTS]

Markus Roggenbach and Lutz Schröder.
Towards trustworthy specifications I: Consistency checks.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267, pages 305-327. Springer, 2001.

 [Roggenbach:2003:CCN]

Markus Roggenbach.
CSP-Casl - A new integration of process algebra and algebraic specification.
In F. Spoto, G. Scollo, and A. Nijholt, editors, Algebraic Methods in Language Processing, AMiLP 2003, TWLT Vol. 21, pages 229-243. Univ. of Twente, 2003.

 [Roggenbach:2004:CASL-Libraries]

Markus Roggenbach, Till Mossakowski, and Lutz Schröder.
Casl libraries.
In Casl Reference Manual, LNCS Vol. 2960 (IFIP Series), part V. Springer, 2004.

 [Salauen:2002:SAC]

Gwen Salaün, Michel Allemand, and Christian Attiogbé.
Specification of an access control system with a formalism combining CCS and Casl.
In Proc. of the 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'02, USA, 2002. IEEE Press.
Available from http://www.dis.uniroma1.it/~salaun/papers/fmppta02.ps.

 [Sannella:2000:ASP]

Donald Sannella.
Algebraic specification and program development by stepwise refinement.
In A. Bossi, editor, Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venice, Italy, 1999 Selected Papers, LNCS Vol. 1817, pages 1-9. Springer, 2000.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/lopstr99.pdf.

 [Sannella:2000:CoFI]

Donald Sannella.
The common framework initiative for algebraic specification and development of software.
In D. Bjørner, M. Broy, and A. V. Zamulin, editors, Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, Proceedings, LNCS Vol. 1755, pages 1-9. Springer, 2000.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/psi.pdf.

 [Sannella:2001:CoFI-RP]

Donald Sannella.
The common framework initiative for algebraic specification and development of software: Recent progress.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267, pages 328-343. Springer, 2001.
Available from http://www.dcs.ed.ac.uk/home/dts/pub/wadt2001.pdf.

 [Schroeder:2001:ACE]

Lutz Schröder, Till Mossakowski, and Andrzej Tarlecki.
Amalgamation in Casl via enriched signatures.
In F. Orejas, P. G. Spirakis, and J. van Leeuwen, editors, Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, Proceedings, LNCS Vol. 2076, pages 993-1004. Springer, 2001.
Available from http://www.informatik.uni-bremen.de/~till/papers/EnrAmalg.ps.
Extended version to appear in Theoretical Computer Science.

 [Schroeder:2001:SAS]

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, and Bartek Klin.
Semantics of architectural specifications in Casl.
In H. Hussmann, editor, Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Genova, Italy, Proceedings, LNCS Vol. 2029, pages 253-268. Springer, 2001.
Available from http://www.informatik.uni-bremen.de/~till/papers/ArchSpec.ps.
Extended version to appear in Theoretical Computer Science.

 [Schroeder:2002:HIS]

Lutz Schröder and Till Mossakowski.
HasCasl: Towards integrated specification and development of Haskell programs.
In H. Kirchner and C. Ringeissen, editors, Algebraic Methods and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, Proceedings, LNCS Vol. 2422, pages 99-116. Springer, 2002.
Available from http://www.informatik.uni-bremen.de/~till/papers/hascasl.ps.

 [Schroeder:2003:CCP]

Lutz Schröder.
Classifying categories for partial equational logic.
In R. Blute and P. Selinger, editors, Category Theory and Computer Science, CTCS'02, ENTCS Vol. 69. Elsevier, 2003.
Available from http://www.informatik.uni-bremen.de/~lschrode/hascasl/classcat.ps.

 [Schroeder:2003:HMP]

Lutz Schröder.
Henkin models of the partial \-calculus.
In M. Baaz and J. M. Makowsky, editors, Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, Proceedings, LNCS Vol. 2803, pages 498-512. Springer, 2003.
Available from http://www.informatik.uni-bremen.de/~lschrode/hascasl/henkinpl.ps.

 [Schroeder:2003:MID]

Lutz Schröder and Till Mossakowski.
Monad-independent dynamic logic in HasCasl.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, LNCS Vol. 2755, pages 425-441. Springer, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/FinalPdl.ps.
Extended version to appear in Journal of Logic and Computation.

 [Schroeder:2003:MIH]

Lutz Schröder and Till Mossakowski.
Monad-independent Hoare logic in HasCasl.
In M. Pezzè, editor, Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Warsaw, Poland, Proceedings, LNCS Vol. 2621, pages 261-277. Springer, 2003.
Available from http://www.informatik.uni-bremen.de/~till/papers/hascaslMonads.ps.

 [Schroeder:????:ASC]

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, and Piotr Hoffman.
Amalgamation in the semantics of Casl.
Theoretical Computer Science.
Available from http://www.informatik.uni-bremen.de/~till/papers/CASLamalg.ps.
To appear; extends [Schroeder:2001:SAS,Schroeder:2001:ACE].

 [Schroeder:????:MID]

Lutz Schröder and Till Mossakowski.
Monad-independent dynamic logic in HasCasl.
Journal of Logic and Computation.
Available from http://www.informatik.uni-bremen.de/~till/papers/pdlJournal.ps.
To appear; extends [Schroeder:2003:MID].

 [Tarlecki:2003:AST]

Andrzej Tarlecki.
Abstract specification theory: An overview.
In M. Pizka and M. Broy, editors, Models, Algebras and Logic of Engineering Software, NATO Science Series: Computer & Systems Sciences Vol. 191, pages 43-79. IOS Press, 2003.