Arora, Sanjeev; Barak, Boaz (2009), Computational Complexity: A Modern Approach, Cambridge University Press, p. 113, ISBN 9780521424264, Zbl 1193.68112. 9780521424264
Reinhardt, Klaus; Allender, Eric (2000). "Making nondeterminism unambiguous". SIAM J. Comput. 29 (4): 1118–1131. CiteSeerX 10.1.1.55.3203. doi:10.1137/S0097539798339041. Zbl 0947.68063. /wiki/CiteSeerX_(identifier)
Hemaspaandra, Lane A.; Ogihara, Mitsunori (2002). The complexity theory companion. Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer-Verlag. ISBN 3-540-67419-5. Zbl 0993.68042. 3-540-67419-5
Lance Fortnow, A Little Theorem Archived 2019-08-05 at the Wayback Machine /wiki/Lance_Fortnow