Pillars of computation theory state, encoding, nondeterminism - Rosenberg Arnold L (New York Springer-Verlag, 2010)
Keywords: Computational complexity