SMP—A Symbolic Manipulation Program

by Stephen Wolfram with Chris A. Cole
Contributions from Geoffrey C. Fox, Jeffrey M. Greif, Eric D. Mjolsness, Larry J.
Romans, Timothy Shaw, and Anthony E. Terrano (California Institute of Technology,
1981; Inference Corporation, 1983)