The pillars of computation theory state, encoding, nondeterminism - Rosenberg, Arnold L.; SpringerLink (Online service) (New York, NY : Springer-Verlag New York, 2010)
Keywords: Computational complexity