This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
The main applications of subsorting in specification languages are collected and classified, showing, if appropriate, alternative approaches to the same problem using other constructs of CASL.
The rest of this document has not yet been converted to Hypertext; please refer to the FTP directory indicated above for the full document.