Rothe, Jörg (2005), 《Complexity theory and cryptology》, Texts in Theoretical Computer Science. An EATCS Series, Berlin: Springer-Verlag, 77쪽, ISBN978-3-540-22147-0, MR2164257.
Odifreddi, P. G. (1999), 《Classical recursion theory. Vol. II》, Studies in Logic and the Foundations of Mathematics 143, Amsterdam: North-Holland Publishing Co., 236쪽, ISBN978-0-444-50205-6, MR1718169.