The Pillars of Computation Theory State, Encoding, Nondeterminism - Rosenberg, Arnold L., 1941- (Springer-Verlag New York, 2010)