UM.bib revision de55550f7d117195f127481d18ec2d5e8d2317ff
@String{j-scp = "Science of Computer Programming"}
@String{entcs = "ENTCS"}
@String{amast = "AMAST Series in Computing Vol.~"}
@String{lncs = "LNCS Vol.~"}
@String{pub-ios = "IOS Press"}
@String{pub-oxford = "Oxford Univ. Press"}
@String{pub-prentice-hall = "Prentice-Hall"}
@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
Language}",
journal = tcs,
year = "2002",
volume = "286",
number = "2",
pages = "153--196",
}
@Article{project:latin,
title = {The LATIN Project. See \url{https://trac.omdoc.org/LATIN/}.},
year = {2009}}
@InProceedings{CHK+2011a,
author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe and Kristina Sojakova},
title = {Towards Logical Frameworks in the {H}eterogeneous {T}ool {S}et {H}ets},
year = {2011},
booktitle = {Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
status = {Reviewed}
}
@inproceedings{rabe:dfol:06,
author = "F. Rabe",
title = "{First-Order Logic with Dependent Types}",
booktitle = "{Proceedings of the 3rd International Joint Conference on Automated Reasoning}",
editor = "N. Shankar and U. Furbach",
year = 2006,
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "4130",
pages = "377--391",
}
@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,
year = "1999",
series = "IFIP State-of-the-Art Reports",
}
@incollection{AutexierEtal02,
Author = {S. Autexier and D. Hutter and T. Mossakowski and
A. Schairer},
Title = {The Development Graph Manager \textsc{Maya} (System
Description)},
Editor = {H. Kirchner and C. Ringeissen},
Booktitle = {Algebraic Methods and Software Technology,
9th International Conference, AMAST 2002,
Saint-Gilles-les-Bains,
Reunion Island, France,
Proceedings},
series = lncs#"2422",
publisher = pub-springer,
year = {2002},
pages = {495--502},
}
@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},
year = {1989}
}
@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",
pages = "171--192",
year = "1992",
publisher = pub-oxford,
}
@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
Control System",
pages = "79--108",
crossref = "lncs1165",
}
@Proceedings{lncs1165,
editor = "Jean-Raymond Abrial and Egon B{\"o}rger and Hans
Langmaack",
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",
series = lncs#"1165",
year = "1996",
publisher = pub-springer
}
@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
Language},
journal = j-scp,
volume = {12},
number = {1},
pages = {1--38},
year = {1989}
}
@Book{lncs501,
editor = {Michel Bidoit and Hans-J{\"org} Kreowski and
Pierre Lescanne and Fernando Orejas and
Donald Sannella},
title = {Algebraic System Specification and Development},
publisher = pub-springer,
year = {1991},
series = lncs#"501",
}
@Article{Bidoit:2002:ASC,
author = "Michel Bidoit and Donald Sannella and Andrzej
Tarlecki",
title = "Architectural Specifications in \textsc{Casl}",
journal = "Formal Aspects of Computing",
year = "2002",
volume = "13",
pages = "252--273",
}
@InProceedings{BDHJJKKMOSVVV01,
author = {M. G. J. {\iffalse{brand}\fi{v}}an den Brand
and A. van Deursen and
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
J. Visser},
title = {The \textsc{Asf+Sdf} {Meta-Environment}:
A Component-Based Language Development Environment},
editor = {R. Wilhelm},
series = lncs#"2027",
pages = {365--370},
booktitle = {Compiler Construction,
10th International Conference, CC 2001,
Genova, Italy, Proceedings},
year = 2001,
publisher = pub-springer,
}
@Article{BJKO00,
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},
year = {2000},
pages = {259--291},
volume = {30}
}
@TechReport{ Broy-Facchi-Grosu.ea:93,
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
(V~1.0)},
institution = {Institut f{\"u}r Informatik,
Technische Universit{\"a}t M{\"u}nchen},
number = {TUM-I9311, TUM-I9312},
year = {1993}
}
@InProceedings{ Burstall-Goguen:80,
author = {R. M. Burstall and J. A. Goguen},
title = {The Semantics of \textsc{Clear}, a Specification
Language},
editor = {D. Bj{\o}rner},
booktitle = {Abstract Software Specifications,
1979 Copenhagen Winter School, Proceedings},
series = lncs#"86",
pages = {292--332},
publisher = pub-springer,
year = {1980}
}
@Book{COMPASS:1997,
editor = {Maura Cerioli and Martin Gogolla and H{\'e}l{\`e}ne
Kirchner and Bernd Krieg-Br{\"u}ckner and Zhenyu Qian
and Markus Wolf},
title = {Algebraic System Specification and Development: Survey
and Annotated Bibliography},
publisher = {Shaker},
year = {1997},
series = {BISS Monographs},
edition = {2nd},
}
@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,
year = 2003,
pages = {197--207},
series = lncs#"2706",
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},
series = amast#"1",
publisher = {World Scientific},
year = {1993}
}
@Book{CoFI:2004:CASL-RM,
author = "{CoFI (The Common Framework Initiative)}",
title = "\textsc{Casl} Reference Manual",
noeditor = "Peter D. Mosses",
publisher = pub-springer,
year = "2004",
series = "LNCS, IFIP Series",
}
@unpublished{CoFITools,
author = "{CoFI (The Common Framework Initiative) Tools Group}",
title = {Home Page},
note = {\url{http://www.cofi.info/Tools}},
}
@Book{DHK96,
editor = {A. {\iffalse{deursen}\fi{v}}an Deursen and
J. Heering and P. Klint},
title = "Language Prototyping: An Algebraic Specification Approach",
publisher = "World Scientific",
year = "1996",
series = amast#"5",
}
@InCollection{ Goguen-Winkler-Meseguer.ea:92,
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
in Action},
publisher = {Kluwer},
year = {1992}
}
@Article{ GoguenBurstall92JACM,
author = {Joseph A. Goguen and Rodney M. Burstall},
title = {Institutions: Abstract Model Theory for
Specification and Programming},
journal = jacm,
volume = {39},
number = {1},
pages = {95--146},
year = {1992}
}
@Book{ Guttag-Horning:93,
author = {J. V. Guttag and J. J. Horning},
title = {Larch: Languages and Tools for Formal Specification},
publisher = pub-springer,
year = {1993}
}
@Article{ Kahrs-Sannella-Tarlecki:97,
author = {S. Kahrs and D. Sannella and A. Tarlecki},
title = {The Definition of {Extended~ML}:
A Gentle Introduction},
journal = tcs,
volume = {173},
pages = {445--484},
year = {1997}
}
@Book{Loeckx:1996:SAD,
author = {Jacques Loeckx and Hans-Dieter Ehrich and Markus Wolf},
title = {Specification of Abstract Data Types},
publisher = {Wiley/Teubner},
year = {1996},
}
@Article{Mossakowski:2002:RCO,
author = "Till Mossakowski",
title = "Relating \textsc{Casl} with Other Specification
Languages: The Institution Level",
journal = tcs,
year = "2002",
volume = "286",
pages = "367--475",
}
@Proceedings{WADT:1998,
title = "Recent Trends in Algebraic Development Techniques,
12th International Workshop, {WADT}'97, Tarquinia,
Italy, 1997, Selected Papers",
editor = "F. Parisi-Presicce",
year = "1998",
series = lncs#"1376",
publisher = pub-springer,
booktitle = "Recent Trends in Algebraic Development Techniques,
12th International Workshop, {WADT}'97, Tarquinia, Italy,
1997, Selected Papers",
}
@Book{Isabelle,
author = {L. C. Paulson},
title = {Isabelle: A Generic Theorem Prover},
publisher = pub-springer,
series = lncs#"828",
year = 1994
}
@InProceedings{Roggenbach:2001:TTS,
author = "Markus Roggenbach and Lutz Schr{\"o}der",
title = "Towards Trustworthy Specifications {I}: Consistency
Checks",
pages = "305--327",
crossref = "WADT:2001",
}
@InProceedings{Sannella:2001:CoFI-RP,
author = "Donald Sannella",
title = "The {Common Framework Initiative} for Algebraic
Specification and Development of Software: Recent
Progress",
crossref = "WADT:2001",
pages = "328--343",
}
@Proceedings{WADT:2001,
title = "Recent Trends in Algebraic Development Techniques,
15th International Workshop, {WADT} 2001, Joint with
the {CoFI~WG} Meeting, Genova, Italy, 2001, Selected
Papers",
editor = "M. Cerioli and G. Reggio",
year = "2001",
series = lncs#"2267",
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
Papers",
}
@Unpublished{Sannella:DRAFT:FAS,
author = {Donald Sannella and Andrzej Tarlecki},
title = {\emph{Foundations of Algebraic Specification
and Formal Program Development}},
note = {To appear},
}
@Article{Sannella:1997:ECA,
author = {Donald Sannella and Andrzej Tarlecki},
title = {Essential Concepts of Algebraic Specification
and Program Development},
journal = {Formal Aspects of Computing},
year = {1997},
volume = {9},
pages = {229--269},
}
@Article{ Wirsing:86,
author = {M. Wirsing},
title = {Structured Algebraic Specifications:
A Kernel Language},
journal = tcs,
volume = {42},
pages = {123--249},
year = {1986}
}
@incollection{Wirsing:1990:AS,
Year = {1990},
Title = {Algebraic Specification},
Editor = {J. van Leeuwen},
Chapter = {13},
Booktitle = {Handbook of Theoretical Computer Science},
Publisher = {Elsevier Science Publishers, Amsterdam; and MIT Press},
Author = {Martin Wirsing},
Volume = {B}}
@inbook{Baumgartner:1996,
Booktitle = {Logics in Artificial Intelligence},
Title = {Hyper tableaux},
Pages = {1--17},
Year = {1996},
Author = {P. Baumgartner and U. Furbach and I. Niemel{\"a}},
Series = {Lecture Notes in Comput. Sci.},
DOI = {10.1007/3-540-61630-6_1},
Publisher = {Springer}}
@inproceedings{Baumgartner:2003,
booktitle = {CADE-19 {--} The 19th International Conference on Automated Deduction},
editor = {F. Baader},
publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
author = {P. Baumgartner and C. Tinelli},
title = {{The Model Evolution Calculus}},
volume = {2741},
pages = {350--364},
year = {2003}}