hets/doc/UM.bib

	UM.bib revision c57bde4abc9029546fa396c4eccacf969e126b96
@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{DBLP:journals/ao/SchorlemmerK08,
  author    = {W. Marco Schorlemmer and
               Yannis Kalfoglou},
  title     = {Institutionalising ontology-based semantic integration},
  journal   = {Applied Ontology},
  volume    = {3},
  number    = {3},
  year      = {2008},
  pages     = {131-150},
  ee        = {http://dx.doi.org/10.3233/AO-2008-0041},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{project:latin,
author = "M.Kohlhase and T.Mossakowski and F.Rabe.",
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},
    Url = {http://www.mpi-sb.mpg.de/~baumgart/DARWIN/me-CADE-19.pdf},
    author = {P. Baumgartner and C. Tinelli},
    title = {{The Model Evolution Calculus}},
    volume = {2741},
    pages = {350--364},
    year = {2003}}