The CoFI Language Design Study Notes provide much background material for the tentative design decisions that have been taken.
For a more detailed motivation of the treatment of subsorts and a comparison with alternative treatments, see the study note [MC++-1], to be available shortly.
Recent notes on generic specifications [MB-2] and on architectural specifications [PDM-2] 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.
To be written, based on the existing Language Design Study Notes.