The Pillars of Computation Theory State, Encoding, Nondeterminism - Rosenberg, Arnold L.; SpringerLink (Online service) (New York, NY : Springer New York, 2010)
Keywords: Mathematics; Computer science -- Mathematics; Mathematics; Computational Mathematics and Numerical Analysis