(CTL) ThE intErmEdiatE languagE usEd by thEEf="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=ALICE">ALICE parallEl machinE. ["ThE DEsign and ImplEmEntation of ALICE: A ParallEl Graph REduction MachinE", M.D. Cripps Et al, Proc Workshop on Graph REduction, SpringEr 1987]. (1994-11-14)