@unpublished{Mossakowski00,
  abstract = {We emphasize the role of consistency in the development process and in particular the need to write consistent design specifications. 

CASL takes an axiomatic approach, as opposed to model-oriented approaches like VDM or Z. This means that it is possible to specify loose requirements at a very high level. Moreover, it is possible to decribe abstract data types only w.r.t. their properties, without giving any intended implementation. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2c4a9a049fc70e2e5b0980d406564f36f/tillmo},
  interhash = {a7a92203b2b110ac27ea59b5a481a716},
  intrahash = {c4a9a049fc70e2e5b0980d406564f36f},
  keywords = {CASL consistency specification},
  note = {CoFI note M-8},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {How to write consistent CASL design specifications},
  url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/M-8/index.html},
  year = 2000
}