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.