(CTL) The intermediate language used by the ALICE parallelmachine.["The Design and Implementation of ALICE: A Parallel GraphReduction Machine", M.D. Cripps et al, Proc Workshop on GraphReduction, Springer 1987].