(SMP) Steven Wolfram's earlier symbol manipulation program, before he turned to Mathematica.
["SMP Handbook", C. Cole, S. Wolfram et al, Caltech 1981].