@incollection{RoggenbachEA03,
  abstract = {This part of the CASL reference manual describes a library of elementary specifications called the Basic Datatypes. This library has been developed with two main purposes in mind: on the one hand, it provides the user with a handy set of off-the-shelf specifications to be used as building blocks in the same way as library functions in a programming language, thus avoiding continuous reinvention of the wheel. On the other hand, it serves as a large reservoir of example specifications that illustrate both the use of CASL at the level of basic and structured specifications.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Roggenbach, Markus and Schr{\"o}der, Lutz and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/28e58d8148274c2586456e8348ded88c8/tillmo},
  booktitle = {{CASL} reference manual},
  editor = {Mosses, Peter},
  interhash = {18e7e3c181d0dc937feae91acf171fc5},
  intrahash = {8e58d8148274c2586456e8348ded88c8},
  keywords = {CASL basic datatypes libraries},
  note = {Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html},
  pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/lib.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/lib.ps},
  publisher = {Springer; Berlin; http://www.springer.de},
  series = {Lecture Notes in Computer Science},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Libraries},
  url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2960&spage=361},
  volume = 2960,
  year = 2004
}