This section is contained in a separate document (file ReportCFLP.ps of the software distribution). It describes the theoretical framework of the language, the resulting system components, and its embedding into the Mathematica environment.
