@inproceedings{Mossakowski99,
  abstract = {We translate OBJ3 to CASL. At the level of basic specifications, we set up several institution representations between the underlying institutions. They correspond to different methodological views of OBJ3. The translations can be the basis for automated tools translating OBJ3 to CASL. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/2ad197ef2ed378269c2a33e53806edb10/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers},
  editor = {Fiadeiro, J. L.},
  interhash = {e14381c7cb9fc902ed28f663af21c6e2},
  intrahash = {ad197ef2ed378269c2a33e53806edb10},
  keywords = {imported},
  pages = {198--214},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/CASLOBJ.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Translating {OBJ3} to {CASL}: the institution level},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,4,38;},
  volume = 1589,
  year = 1999
}