Question: Aside from the British-American computer scientist, physicist, and businessman who wrote the book "A New Kind of Science", who designed the Symbolic Manipulation Program?

Context articles: Ben Shneiderman
Alexander G. Fraser
David S. H. Rosenthal
CinePaint
TI-89 series
David Cheriton
Stephen Wolfram
Spencer Kimball (computer programmer)
Symbolic Manipulation Program
Wilf–Zeilberger pair

Ben Shneiderman (born August 21, 1947) is an American computer scientist, a Distinguished University Professor in the Department of Computer Science, which is part of the University of Maryland College of Computer, Mathematical, and Natural Sciences at the University of Maryland, College Park, and the founding director (1983-2000) of the University of Maryland Human-Computer Interaction Lab.
 He conducted fundamental research in the field of human–computer interaction, developing new ideas, methods, and tools such as the direct manipulation interface, and his eight rules of design.
Alexander G. Fraser, also known as A. G. Fraser and Sandy Fraser, is a noted British-American computer scientist.
David Stuart Holmes Rosenthal is a British-American computer scientist.
CinePaint is an open source computer program for painting and retouching bitmap frames of films.
 It is a fork of version 1.0.4 of the GNU Image Manipulation Program (GIMP).
 It enjoyed some success as one of the earliest open source tools developed for feature motion picture visual effects and animation work.
The TI-89 and the TI-89 Titanium are graphing calculators developed by Texas Instruments (TI).
 They are differentiated from most other TI graphing calculators by their computer algebra system, which allows symbolic manipulation of algebraic expressions—equations can be solved in terms of variables, whereas the TI-83/84 series can only give a numeric result.
David Ross Cheriton (born March 29, 1951) is a Canadian computer scientist, mathematician, businessman, philanthropist, and venture capitalist.
 He is a computer science professor at Stanford University, where he founded and heads up the Distributed Systems Group.
 He is a distributed systems and networking expert with keen insight into identifying big market opportunities and building the architectures needed to address these opportunities.
 He has founded and invested in technology companies, including Google, where he was amongst the first investors; VMware, where he was an early angel investor; and Arista, where he was co-founder and chief scientist.
 Cheriton funded at least 20 companies.
 With an estimated net worth of US$3.4 billion (as of February 2016), Cheriton was ranked by Forbes as the 13th wealthiest Canadian and 628th in the world.
 Cheriton has made generous contributions to education, with a $25 Million donation to support graduate studies and research in its School of Computer Science at the University of Waterloo, a $7.5 million donation to the University of British Columbia, and a $12 million endowment in 2016 to Stanford University to support Computer Science faculty, graduate fellowships, and undergraduate scholarships.
Stephen Wolfram (born 29 August 1959) is a British-American computer scientist, physicist, and businessman.
 He is known for his work in computer science, mathematics, and in theoretical physics.
 He is the author of the book "A New Kind of Science."
 In 2012 he was named an inaugural fellow of the American Mathematical Society.
Spencer Kimball is an American computer programmer, entrepreneur, and business executive.
 He is the CEO of Cockroach Labs, a company he co-founded in 2015.
 His work as a programmer includes creating GNU Image Manipulation Program (GIMP) while still in college, and assisting the source code development of CockroachDB, the namesake software of Cockroach Labs.
 In addition to Cockroach Labs, Kimball was involved in the founding of other tech startups including WeGo and Viewfinder.
Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979 and initially developed in the Caltech physics department under Wolfram's leadership with contributions from Geoffrey C. Fox, Jeffrey M. Greif, Eric D. Mjolsness, Larry J. Romans, Timothy Shaw, and Anthony E. Terrano.
 It was first sold commercially in 1981 by the Computer Mathematics Corporation of Los Angeles which later became part of Inference Corporation; Inference Corp. further developed the program and marketed it commercially from 1983 to 1988.
 SMP was essentially Version Zero of the more ambitious Mathematica system.
In mathematics, specifically combinatorics, a Wilf–Zeilberger pair, or WZ pair, is a pair of functions that can be used to certify certain combinatorial identities.
 WZ pairs are named after Herbert S. Wilf and Doron Zeilberger, and are instrumental in the evaluation of many sums involving binomial coefficients, factorials, and in general any hypergeometric series.
 A function's WZ counterpart may be used to find an equivalent and much simpler sum.
 Although finding WZ pairs by hand is impractical in most cases, Gosper's algorithm provides a sure method to find a function's WZ counterpart, and can be implemented in a symbolic manipulation program.