UM.bib revision d3f2015ae170a15e5b57d4880ded53073d725ac0
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",
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{Autexier:2002:IHD,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Author = {S. Autexier and T. Mossakowski},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Title = {Integrating \textsc{Hol-Casl} into the Development Graph
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Manager \textsc{Maya}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Editor = {A. Armando},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Santa Margherita Ligure, Italy, Proceedings},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"2309",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {2002},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = {2--17},
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 note = "To appear",
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@InProceedings{Mossakowski:2000:CST,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = "Till Mossakowski",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = "\textsc{Casl}: From Semantics to Tools",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = "S. Graf and M. Schwartz\-bach",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski booktitle = "Tools and Algorithms for the Construction and Analysis
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski of Systems, 6th International Conference, TACAS 2000,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski Berlin, Germany, Proceedings",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = "2000",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski series = lncs#"1785",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "93--108",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = pub-springer,
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@InProceedings{Mossakowski:1998:SSA,
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 \textsc{Casl}",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski pages = "333--348",
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski crossref = "WADT:1998",
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}}