A symbolic mathematics package by Michael Levine that influenced SMP and FORM.There are versions for the Univac 1108 and VAX/VMS.