The pillars of computation theory state, encoding, nondeterminism - Rosenberg, Arnold L. (New York Springer, 2010)
Include bibliographical references and index.
Keywords: Computational complexity