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