d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{j-scp = "Science of Computer Programming"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{entcs = "ENTCS"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{amast = "AMAST Series in Computing Vol.~"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{lncs = "LNCS Vol.~"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{pub-ios = "IOS Press"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{pub-oxford = "Oxford Univ. Press"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{pub-prentice-hall = "Prentice-Hall"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@String{pub-springer = "Springer"}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{Astesiano:2002:CASL,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Egidio Astesiano and Michel Bidoit and Bernd
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Krieg-Br{\"u}ckner and Peter D. Mosses and Donald
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Sannella and Andrzej Tarlecki",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "\textsc{Casl}: The {Common Algebraic Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = tcs,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2002",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = "286",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski number = "2",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "153--196",
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu author = {W. Marco Schorlemmer and
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu Yannis Kalfoglou},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu title = {Institutionalising ontology-based semantic integration},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu journal = {Applied Ontology},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu volume = {3},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu number = {3},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu year = {2008},
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange pages = {131--150},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu ee = {http://dx.doi.org/10.3233/AO-2008-0041},
c57bde4abc9029546fa396c4eccacf969e126b96Mihai Codescu bibsource = {DBLP, http://dblp.uni-trier.de}
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz@incollection {logic:EnCL,
356f33e31a1cf98a878f069e9e2e1cbea4a06e81Ewaryst Schulz author = {Dietrich, Dominik and Schr\"oder, Lutz and Schulz, Ewaryst},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz affiliation = {DFKI Bremen, Germany},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz title = {Formalizing and Operationalizing Industrial Standards},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz booktitle = {Fundamental Approaches to Software Engineering},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz series = {Lecture Notes in Computer Science},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz editor = {Giannakopoulou, Dimitra and Orejas, Fernando},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz publisher = {Springer Berlin / Heidelberg},
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange pages = {81--95},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz volume = {6603},
356f33e31a1cf98a878f069e9e2e1cbea4a06e81Ewaryst Schulz url = {http://dx.doi.org/10.1007/978-3-642-19811-3\_7},
356f33e31a1cf98a878f069e9e2e1cbea4a06e81Ewaryst Schulz note = {10.1007/978-3-642-19811-3\_7},
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6Ewaryst Schulz year = {2011}
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange@Misc{project:latin,
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescuauthor = "M.Kohlhase and T.Mossakowski and F.Rabe.",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescutitle = {The LATIN Project. See \url{https://trac.omdoc.org/LATIN/}.},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescuyear = {2009}}
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu@InProceedings{CHK+2011a,
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe and Kristina Sojakova},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu title = {Towards Logical Frameworks in the {H}eterogeneous {T}ool {S}et {H}ets},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu year = {2011},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu booktitle = {Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu publisher = {Springer},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu series = {Lecture Notes in Computer Science},
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu status = {Reviewed}
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescu@inproceedings{rabe:dfol:06,
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescuauthor = "F. Rabe",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescutitle = "{First-Order Logic with Dependent Types}",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescubooktitle = "{Proceedings of the 3rd International Joint Conference on Automated Reasoning}",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescueditor = "N. Shankar and U. Furbach",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescupublisher = "Springer",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescuseries = "Lecture Notes in Computer Science",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescuvolume = "4130",
de55550f7d117195f127481d18ec2d5e8d2317ffMihai Codescupages = "377--391",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{Astesiano:1999:AFS,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Algebraic Foundations of Systems Specification",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "Algebraic Foundations of Systems Specification",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = "Egidio Astesiano and Hans-J{\"org} Kreowski and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Bernd Krieg-Br{\"u}ckner",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1999",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = "IFIP State-of-the-Art Reports",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@incollection{AutexierEtal02,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {S. Autexier and D. Hutter and T. Mossakowski and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski A. Schairer},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {The Development Graph Manager \textsc{Maya} (System
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Description)},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {H. Kirchner and C. Ringeissen},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Algebraic Methods and Software Technology,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 9th International Conference, AMAST 2002,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Saint-Gilles-les-Bains,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Reunion Island, France,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Proceedings},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"2422",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {2002},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {495--502},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InCollection{Bergstra-Heering-Klint:89,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Jan A. Bergstra and Jan Heering and Paul Klint},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {The Algebraic Specification Formalism {ASF}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {J. A. Bergstra and J. Heering and P. Klint},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Algebraic Specification},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {ACM Press Frontier Series},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Addison-Wesley},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1989}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski @InProceedings{mb-ima-90,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Development of Modular Specifications by Stepwise
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Refinements Using the \textsc{Pluss} Specification Language",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "Unified Computation Laboratory:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Modelling, Specifications, and Tools",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = "Charles Rattray and Robert G. Clark",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "171--192",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1992",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-oxford,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InProceedings{steam-boiler,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Claude Chevenier and Christine
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pellen and J{\'e}r{\^o}me Ryckbosch",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "An Algebraic Specification of the Steam-Boiler
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Control System",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "79--108",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski crossref = "lncs1165",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Proceedings{lncs1165,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = "Jean-Raymond Abrial and Egon B{\"o}rger and Hans
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Formal Methods for Industrial Applications: Specifying
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Programming the Steam Boiler Control",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "Formal Methods for Industrial Applications: Specifying
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Programming the Steam Boiler Control",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"1165",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{ Bidoit-Gaudel-Mauboussin:89,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Michel Bidoit and Marie-Claude Gaudel and A. Mauboussin},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {How to Make Algebraic Specifications More Understandable?
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski {An} Experiment with the \textsc{Pluss} Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = j-scp,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {12},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski number = {1},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {1--38},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1989}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{lncs501,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {Michel Bidoit and Hans-J{\"org} Kreowski and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Pierre Lescanne and Fernando Orejas and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Donald Sannella},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Algebraic System Specification and Development},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1991},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"501",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{Bidoit:2002:ASC,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Michel Bidoit and Donald Sannella and Andrzej
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Architectural Specifications in \textsc{Casl}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = "Formal Aspects of Computing",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2002",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = "13",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "252--273",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InProceedings{BDHJJKKMOSVVV01,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {M. G. J. {\iffalse{brand}\fi{v}}an den Brand
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and A. van Deursen and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski J. Heering and H. A. de Jong and M. de Jonge and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski T. Kuipers and P. Klint and L. Moonen and P. A. Olivier and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski J. Scheerder and J. J. Vinju and E. Visser and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {The \textsc{Asf+Sdf} {Meta-Environment}:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski A Component-Based Language Development Environment},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {R. Wilhelm},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"2027",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {365--370},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Compiler Construction,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 10th International Conference, CC 2001,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Genova, Italy, Proceedings},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{BJKO00,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiauthor = {M. G. J. {\iffalse{brand}\fi{v}}an den Brand
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and H. A. de Jong and P. Klint and P. Olivier},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskititle = {{E}fficient Annotated Terms},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskijournal = {Software, Practice \& Experience},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskiyear = {2000},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskipages = {259--291},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {M. Broy and C. Facchi and R. Grosu and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski R. Hettler and H. Hu{\ss}mann and D. Nazareth
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and F. Regensburger and O. Slotosch and K. St{\o}len},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {The Requirement and Design Specification Language
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski \textsc{Spectrum}: An Informal Introduction
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski institution = {Institut f{\"u}r Informatik,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Technische Universit{\"a}t M{\"u}nchen},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski number = {TUM-I9311, TUM-I9312},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1993}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InProceedings{ Burstall-Goguen:80,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {R. M. Burstall and J. A. Goguen},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {The Semantics of \textsc{Clear}, a Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {D. Bj{\o}rner},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Abstract Software Specifications,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 1979 Copenhagen Winter School, Proceedings},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"86",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {292--332},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1980}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{COMPASS:1997,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {Maura Cerioli and Martin Gogolla and H{\'e}l{\`e}ne
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Kirchner and Bernd Krieg-Br{\"u}ckner and Zhenyu Qian
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Markus Wolf},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Algebraic System Specification and Development: Survey
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Annotated Bibliography},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Shaker},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1997},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = {BISS Monographs},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski edition = {2nd},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InProceedings{Chen:2003:RBA,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Feng Chen and Grigore Rosu and Ram Prasad Venkatesan},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Rule-Based Analysis of Dimensional Safety},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Rewriting Techniques and Applications,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 14th International Conference, RTA 2003,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Valencia, Spain, Proceedings},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {197--207},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"2706",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {R. Nieuwenhuis},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{ Classen-Ehrig-Wolz:93,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {I. Cla{\ss}en and H. Ehrig and D. Wolz},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Algebraic Specification Techniques and Tools
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski for Software Development},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = amast#"1",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {World Scientific},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1993}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{CoFI:2004:CASL-RM,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "{CoFI (The Common Framework Initiative)}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "\textsc{Casl} Reference Manual",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski noeditor = "Peter D. Mosses",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2004",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = "LNCS, IFIP Series",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@unpublished{CoFITools,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "{CoFI (The Common Framework Initiative) Tools Group}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Home Page},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {A. {\iffalse{deursen}\fi{v}}an Deursen and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski J. Heering and P. Klint},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Language Prototyping: An Algebraic Specification Approach",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = "World Scientific",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1996",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = amast#"5",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InCollection{ Goguen-Winkler-Meseguer.ea:92,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {J. A. Goguen and T. Winkler and J. Meseguer and
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski K. Futatsugi and J.-P. Jouannaud},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Introducing {OBJ3}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {Joseph Goguen and Grant Malcolm},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = {Software Engineering with OBJ: Algebraic Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Kluwer},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1992}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{ GoguenBurstall92JACM,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Joseph A. Goguen and Rodney M. Burstall},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Institutions: Abstract Model Theory for
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Specification and Programming},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = jacm,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {39},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski number = {1},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {95--146},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1992}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{ Guttag-Horning:93,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {J. V. Guttag and J. J. Horning},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Larch: Languages and Tools for Formal Specification},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1993}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{ Kahrs-Sannella-Tarlecki:97,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {S. Kahrs and D. Sannella and A. Tarlecki},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {The Definition of {Extended~ML}:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski A Gentle Introduction},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = tcs,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {173},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {445--484},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1997}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{Loeckx:1996:SAD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Jacques Loeckx and Hans-Dieter Ehrich and Markus Wolf},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Specification of Abstract Data Types},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1996},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{Mossakowski:2002:RCO,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Relating \textsc{Casl} with Other Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Languages: The Institution Level",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = tcs,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2002",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = "286",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "367--475",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Proceedings{WADT:1998,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 12th International Workshop, {WADT}'97, Tarquinia,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Italy, 1997, Selected Papers",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = "F. Parisi-Presicce",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "1998",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"1376",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 12th International Workshop, {WADT}'97, Tarquinia, Italy,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 1997, Selected Papers",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{Isabelle,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {L. C. Paulson},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Isabelle: A Generic Theorem Prover},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"828",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InProceedings{Roggenbach:2001:TTS,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Markus Roggenbach and Lutz Schr{\"o}der",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Towards Trustworthy Specifications {I}: Consistency
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "305--327",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski crossref = "WADT:2001",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@InProceedings{Sannella:2001:CoFI-RP,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Donald Sannella",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "The {Common Framework Initiative} for Algebraic
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Specification and Development of Software: Recent
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski crossref = "WADT:2001",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "328--343",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Proceedings{WADT:2001,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 15th International Workshop, {WADT} 2001, Joint with
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski the {CoFI~WG} Meeting, Genova, Italy, 2001, Selected
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = "M. Cerioli and G. Reggio",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2001",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"2267",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "Recent Trends in Algebraic Development Techniques,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski 15th International Workshop, {WADT} 2001, Joint with
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski the {CoFI~WG} Meeting, Genova, Italy, 2001, Selected
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Unpublished{Sannella:DRAFT:FAS,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Donald Sannella and Andrzej Tarlecki},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {\emph{Foundations of Algebraic Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Formal Program Development}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = {To appear},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{Sannella:1997:ECA,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {Donald Sannella and Andrzej Tarlecki},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Essential Concepts of Algebraic Specification
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski and Program Development},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = {Formal Aspects of Computing},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1997},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {9},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {229--269},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Article{ Wirsing:86,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {M. Wirsing},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {Structured Algebraic Specifications:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski A Kernel Language},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski journal = tcs,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski volume = {42},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {123--249},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {1986}
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@incollection{Wirsing:1990:AS,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Year = {1990},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Algebraic Specification},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {J. van Leeuwen},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Chapter = {13},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Handbook of Theoretical Computer Science},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Publisher = {Elsevier Science Publishers, Amsterdam; and MIT Press},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {Martin Wirsing},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Volume = {B}}
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke@inbook{Baumgartner:1996,
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Booktitle = {Logics in Artificial Intelligence},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Title = {Hyper tableaux},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Pages = {1--17},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Year = {1996},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Author = {P. Baumgartner and U. Furbach and I. Niemel{\"a}},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Series = {Lecture Notes in Comput. Sci.},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke DOI = {10.1007/3-540-61630-6_1},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Publisher = {Springer}}
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke@inproceedings{Baumgartner:2003,
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke booktitle = {CADE-19 {--} The 19th International Conference on Automated Deduction},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke editor = {F. Baader},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke publisher = {Springer},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Series = {Lecture Notes in Artificial Intelligence},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke Url = {http://www.mpi-sb.mpg.de/~baumgart/DARWIN/me-CADE-19.pdf},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke author = {P. Baumgartner and C. Tinelli},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke title = {{The Model Evolution Calculus}},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke volume = {2741},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke pages = {350--364},
65afd6de83b252cc393ee407bab4dd8b57b97e0bDominik Luecke year = {2003}}