@String{pub-springer = "Springer"}
@Article{Astesiano:2002:CASL,
author = "Egidio Astesiano and Michel Bidoit and Bernd
Krieg-Br{\"u}ckner and Peter D. Mosses and Donald
Sannella and Andrzej Tarlecki",
title = "\textsc{Casl}: The {Common Algebraic Specification
@Book{Astesiano:1999:AFS,
title = "Algebraic Foundations of Systems Specification",
booktitle = "Algebraic Foundations of Systems Specification",
editor = "Egidio Astesiano and Hans-J{\"org} Kreowski and
Bernd Krieg-Br{\"u}ckner",
publisher = pub-springer,
series = "IFIP State-of-the-Art Reports",
@incollection{AutexierEtal02,
Author = {S. Autexier and D. Hutter and T. Mossakowski and
Title = {The Development Graph Manager \textsc{Maya} (System
Editor = {H. Kirchner and C. Ringeissen},
Booktitle = {Algebraic Methods and Software Technology,
9th International Conference, AMAST 2002,
publisher = pub-springer,
@InCollection{Bergstra-Heering-Klint:89,
author = {Jan A. Bergstra and Jan Heering and Paul Klint},
title = {The Algebraic Specification Formalism {ASF}},
editor = {J. A. Bergstra and J. Heering and P. Klint},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
publisher = {Addison-Wesley},
@InProceedings{mb-ima-90,
author = "Michel Bidoit",
title = "Development of Modular Specifications by Stepwise
Refinements Using the \textsc{Pluss} Specification Language",
booktitle = "Unified Computation Laboratory:
Modelling, Specifications, and Tools",
editor = "Charles Rattray and Robert G. Clark",
@InProceedings{steam-boiler,
author = "Michel Bidoit and Claude Chevenier and Christine
Pellen and J{\'e}r{\^o}me Ryckbosch",
title = "An Algebraic Specification of the Steam-Boiler
editor = "Jean-Raymond Abrial and Egon B{\"o}rger and Hans
title = "Formal Methods for Industrial Applications: Specifying
and Programming the Steam Boiler Control",
booktitle = "Formal Methods for Industrial Applications: Specifying
and Programming the Steam Boiler Control",
@Article{ Bidoit-Gaudel-Mauboussin:89,
author = {Michel Bidoit and Marie-Claude Gaudel and A. Mauboussin},
title = {How to Make Algebraic Specifications More Understandable?
{An} Experiment with the \textsc{Pluss} Specification
editor = {Michel Bidoit and Hans-J{\"org} Kreowski and
Pierre Lescanne and Fernando Orejas and
title = {Algebraic System Specification and Development},
publisher = pub-springer,
@Article{Bidoit:2002:ASC,
author = "Michel Bidoit and Donald Sannella and Andrzej
title = "Architectural Specifications in \textsc{Casl}",
journal = "Formal Aspects of Computing",
@InProceedings{BDHJJKKMOSVVV01,
author = {M. G. J. {\iffalse{brand}\fi{v}}an den Brand
J. Heering and H. A. de Jong and M. de Jonge and
T. Kuipers and P. Klint and L. Moonen and P. A. Olivier and
J. Scheerder and J. J. Vinju and E. Visser and
title = {The \textsc{Asf+Sdf} {Meta-Environment}:
A Component-Based Language Development Environment},
booktitle = {Compiler Construction,
10th International Conference, CC 2001,
Genova, Italy, Proceedings},
publisher = pub-springer,
author = {M. G. J. {\iffalse{brand}\fi{v}}an den Brand
and H. A. de Jong and P. Klint and P. Olivier},
title = {{E}fficient Annotated Terms},
journal = {Software, Practice \& Experience},
author = {M. Broy and C. Facchi and R. Grosu and
R. Hettler and H. Hu{\ss}mann and D. Nazareth
and F. Regensburger and O. Slotosch and K. St{\o}len},
title = {The Requirement and Design Specification Language
\textsc{Spectrum}: An Informal Introduction
institution = {Institut f{\"u}r Informatik,
Technische Universit{\"a}t M{\"u}nchen},
number = {TUM-I9311, TUM-I9312},
@InProceedings{ Burstall-Goguen:80,
author = {R. M. Burstall and J. A. Goguen},
title = {The Semantics of \textsc{Clear}, a Specification
editor = {D. Bj{\o}rner},
booktitle = {Abstract Software Specifications,
1979 Copenhagen Winter School, Proceedings},
publisher = pub-springer,
editor = {Maura Cerioli and Martin Gogolla and H{\'e}l{\`e}ne
Kirchner and Bernd Krieg-Br{\"u}ckner and Zhenyu Qian
title = {Algebraic System Specification and Development: Survey
and Annotated Bibliography},
series = {BISS Monographs},
@InProceedings{Chen:2003:RBA,
author = {Feng Chen and Grigore Rosu and Ram Prasad Venkatesan},
title = {Rule-Based Analysis of Dimensional Safety},
booktitle = {Rewriting Techniques and Applications,
14th International Conference, RTA 2003,
Valencia, Spain, Proceedings},
publisher = pub-springer,
editor = {R. Nieuwenhuis},
@Book{ Classen-Ehrig-Wolz:93,
author = {I. Cla{\ss}en and H. Ehrig and D. Wolz},
title = {Algebraic Specification Techniques and Tools
for Software Development},
publisher = {World Scientific},
author = "{CoFI (The Common Framework Initiative)}",
title = "\textsc{Casl} Reference Manual",
noeditor = "Peter D. Mosses",
publisher = pub-springer,
series = "LNCS, IFIP Series",
author = "{CoFI (The Common Framework Initiative) Tools Group}",
editor = {A. {\iffalse{deursen}\fi{v}}an Deursen and
J. Heering and P. Klint},
title = "Language Prototyping: An Algebraic Specification Approach",
publisher = "World Scientific",
author = {J. A. Goguen and T. Winkler and J. Meseguer and
K. Futatsugi and J.-P. Jouannaud},
title = {Introducing {OBJ3}},
editor = {Joseph Goguen and Grant Malcolm},
booktitle = {Software Engineering with OBJ: Algebraic Specification
@Article{ GoguenBurstall92JACM,
author = {Joseph A. Goguen and Rodney M. Burstall},
title = {Institutions: Abstract Model Theory for
Specification and Programming},
@Book{ Guttag-Horning:93,
author = {J. V. Guttag and J. J. Horning},
title = {Larch: Languages and Tools for Formal Specification},
publisher = pub-springer,
@Article{ Kahrs-Sannella-Tarlecki:97,
author = {S. Kahrs and D. Sannella and A. Tarlecki},
title = {The Definition of {Extended~ML}:
author = {Jacques Loeckx and Hans-Dieter Ehrich and Markus Wolf},
title = {Specification of Abstract Data Types},
@Article{Mossakowski:2002:RCO,
author = "Till Mossakowski",
title = "Relating \textsc{Casl} with Other Specification
Languages: The Institution Level",
title = "Recent Trends in Algebraic Development Techniques,
12th International Workshop, {WADT}'97, Tarquinia,
Italy, 1997, Selected Papers",
editor = "F. Parisi-Presicce",
publisher = pub-springer,
booktitle = "Recent Trends in Algebraic Development Techniques,
12th International Workshop, {WADT}'97, Tarquinia, Italy,
author = {L. C. Paulson},
title = {Isabelle: A Generic Theorem Prover},
publisher = pub-springer,
@InProceedings{Roggenbach:2001:TTS,
author = "Markus Roggenbach and Lutz Schr{\"o}der",
title = "Towards Trustworthy Specifications {I}: Consistency
@InProceedings{Sannella:2001:CoFI-RP,
author = "Donald Sannella",
title = "The {Common Framework Initiative} for Algebraic
Specification and Development of Software: Recent
title = "Recent Trends in Algebraic Development Techniques,
15th International Workshop, {WADT} 2001, Joint with
the {CoFI~WG} Meeting, Genova, Italy, 2001, Selected
editor = "M. Cerioli and G. Reggio",
publisher = pub-springer,
booktitle = "Recent Trends in Algebraic Development Techniques,
15th International Workshop, {WADT} 2001, Joint with
the {CoFI~WG} Meeting, Genova, Italy, 2001, Selected
@Unpublished{Sannella:DRAFT:FAS,
author = {Donald Sannella and Andrzej Tarlecki},
title = {\emph{Foundations of Algebraic Specification
and Formal Program Development}},
@Article{Sannella:1997:ECA,
author = {Donald Sannella and Andrzej Tarlecki},
title = {Essential Concepts of Algebraic Specification
and Program Development},
journal = {Formal Aspects of Computing},
title = {Structured Algebraic Specifications:
@incollection{Wirsing:1990:AS,
Title = {Algebraic Specification},
Editor = {J. van Leeuwen},
Booktitle = {Handbook of Theoretical Computer Science},
Publisher = {Elsevier Science Publishers, Amsterdam; and MIT Press},
Author = {Martin Wirsing},