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.
To be written.
In preparation, based on the the presentation of CASL at TAPSOFT'97.