M.D. Cripps et al, "The Design and Implementation of ALICE: A Parallel Graph Reduction Machine", Proc Workshop on Graph Reduction, Springer 1987.

Languages mentioned

• CTL {0}