Question: What was the name of Stephen Wolfram's book that referenced Wolfram's 2-state 3-symbol Turning machine?

Context articles: Wolfram Research
A New Kind of Science
Rule 30
Wolfram code
Singularity Summit
Wolfram Mathematica
Stephen Wolfram
Wolfram axiom
Symbolic Manipulation Program
Wolfram's 2-state 3-symbol Turing machine

Wolfram Research is a private company that creates computational technology.
 Wolfram's flagship product is the technical computing program "Mathematica," first released on June 23, 1988.
 Wolfram Research founder Stephen Wolfram is the CEO.
A New Kind of Science is a best-selling, controversial book by Stephen Wolfram, published by his own company in 2002.
 It contains an empirical and systematic study of computational systems such as cellular automata.
 Wolfram calls these systems "simple programs" and argues that the scientific philosophy and methods appropriate for the study of simple programs are relevant to other fields of science.
Rule 30 is a one-dimensional binary cellular automaton rule introduced by Stephen Wolfram in 1983.
 Using Wolfram's classification scheme, Rule 30 is a Class III rule, displaying aperiodic, chaotic behaviour.
Wolfram code is a naming system often used for one-dimensional cellular automaton rules, introduced by Stephen Wolfram in a 1983 paper and used in his book "A New Kind of Science".
The Singularity Summit is the annual conference of the Machine Intelligence Research Institute.
 It was started in 2006 at Stanford University by Ray Kurzweil, Eliezer Yudkowsky, and Peter Thiel, and the subsequent summits in 2007, 2008, 2009, 2010, and 2011 have been held in San Francisco, San Jose, New York City, San Francisco, and New York, respectively.
 Some speakers have included Sebastian Thrun, Rodney Brooks, Barney Pell, Marshall Brain, Justin Rattner, Peter Diamandis, Stephen Wolfram, Gregory Benford, Robin Hanson, Anders Sandberg, Juergen Schmidhuber, Aubrey de Grey, Max Tegmark, and Michael Shermer.
Wolfram Mathematica (usually termed Mathematica, Mathematica software suite) is a mathematical symbolic computation program, sometimes termed a computer algebra system or program, used in many scientific, engineering, mathematical, and computing fields.
 It was conceived by Stephen Wolfram and is developed by Wolfram Research of Champaign, Illinois.
 The Wolfram Language is the programming language used in Mathematica.
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.
The Wolfram axiom is the result of a computer exploration undertaken by Stephen Wolfram in his "A New Kind of Science" looking for the shortest single axiom equivalent to the axioms of Boolean algebra (or propositional calculus).
 The result of his search was an axiom with six Nands and three variables equivalent to Boolean algebra:
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 his book "A New Kind of Science", Stephen Wolfram described a universal 2-state 5-color Turing machine, and conjectured that a particular 2-state 3-symbol Turing machine (hereinafter (2,3) Turing machine) might be universal as well.