@incollection{Mossakowski04d,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/295c0a6aa4c35a69397e51a3c6cf4271e/tillmo},
  booktitle = {{CASL} User Manual},
  editor = {Bidoit, M. and Mosses, P. D.},
  interhash = {7e7af1b4c0ec2a330be575a2550995bf},
  intrahash = {95c0a6aa4c35a69397e51a3c6cf4271e},
  isbn = {3-540-20766-X},
  keywords = {CASL libraries numbers},
  pages = {143-154},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {{CASL} Basic Libraries},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,24,38;},
  volume = 2900,
  year = 2004
}