@unpublished{Mossakowski97, abstract = {We define various sublanguages of CASL by identifying a number of orthogonal features. Each of these features can be included or left out in a sublanguage. This leads to a concise notation for sublanguages. The sublanguages can be identified purely syntactically, thus tools can determine to which sublanguages a particular specification belongs. Two graphs show relations among the sublanguages. The relation of the sublanguages to other specification languages is addressed briefly.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2be29e4f50d259afa71b268a3d17c137b/tillmo}, interhash = {fdc6376448dc58648327c3ef34b0d00c}, intrahash = {be29e4f50d259afa71b268a3d17c137b}, keywords = {CASL sublanguages}, note = {CoFI note L-7}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Sublanguages of CASL}, url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/L-7/index.html}, year = 1997 }