@incollection{Mossakowski04c,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/252c74cd4601092b714c5d2bc385e7490/tillmo},
  booktitle = {{CASL} User Manual},
  editor = {Bidoit, M. and Mosses, P. D.},
  interhash = {f2fe283b39774520a972120e63eef70c},
  intrahash = {52c74cd4601092b714c5d2bc385e7490},
  isbn = {3-540-20766-X},
  keywords = {imported},
  pages = {131-142},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {{CASL} Tools},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,23,38;},
  volume = 2900,
  year = 2004
}