This section is contained in a seperate document (file CFLP.ps of the software distribution). It describes the theoretical framework of the language, the resulting execution calculus, and its embedding into the Mathematica environment.
