A symbolic mathematics package by Michael Levine <[email protected]> that influenced SMP and FORM. There are versions for the Univac 1108 and VAX/VMS.