Computability : a mathematical sketchbook - Bridges, Douglas S. (Berlin : Springer-Verlag, 1994)
References : p. 171-174
Keywords: Computable functions