@incollection{BaumeisterEtAl04,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Baumeister, Hubert and Cerioli, Maura and Haxthausen, Anne and Mossakowski, Till and Mosses, Peter D. and Sannella, Donald and Tarlecki, Andrzej},
  biburl = {https://www.bibsonomy.org/bibtex/244688a4b105bfe2e14ad31c777784d0e/tillmo},
  booktitle = {CASL Reference Manual},
  chapter = {{\"I}II},
  editor = {Mosses, Peter D.},
  interhash = {a4e6da1650c13c9f1c94ba4bc209a4f0},
  intrahash = {44688a4b105bfe2e14ad31c777784d0e},
  isbn = {3-540-21301-5},
  keywords = {CASL institution semantics},
  note = {Ëdited by D. Sannella and A. Tarlecki},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {CASL Semantics},
  type = {Part},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,25,38;},
  volume = 2960,
  year = 2004
}