The CoFI Language Design Study Notes provided much background material for the tentative design decisions that were taken.
For a more detailed motivation of the treatment of subsorts and a comparison with alternative treatments, see the study note [CMKB+96].
Study notes on generic specifications [Bid96] and on architectural specifications [Mos96] provided the basis for the tentative design of these constructs.
A conscious attempt has been made to base the tentative design on constructs known from previous algebraic specification languages. A good number of these languages are summarized in the CoFI Catalogue.
In preparation.
In preparation.
A preliminary rationale has been provided [CoF97] [LD97b], based on the the presentation of CASL at TAPSOFT'97 [Mos97].