A symbolic mathematics package by Michael Levine <levine@cpwsca.psc.edu> that influenced SMP and FORM. There are versions for the Univac 1108 and VAX/VMS.