@incollection{MossakowskiEa05,
  abstract = {We extend CASL architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees.  The essence of the extension is to allow refinements of unit specifications in CASL architectural specifications.
},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T. and Sannella, D. and Tarlecki, A.},
  biburl = {https://www.bibsonomy.org/bibtex/253e728a7135a2fb6af2ea39390ad6ac7/tillmo},
  booktitle = {WADT 2004},
  editor = {Fiadeiro, Jose Luiz},
  interhash = {14aec2a664fead76ac52dea7b9b54a14},
  intrahash = {53e728a7135a2fb6af2ea39390ad6ac7},
  isbn = {3-540-25327-0},
  keywords = {imported},
  pages = {162-185},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/CASLrefinement.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/CASLrefinement.ps},
  publisher = {Springer; Berlin; http://www.springer.de},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {A simple refinement language for CASL},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,2,3;},
  volume = 3423,
  year = 2005
}