Tác giả: S. S. Wainer

F. R. Drake & S. S. Wainer: Recursion Theory, its Generalisations and Applications

S. B. Cooper & T. A. Slaman: Computability, Enumerability, Unsolvability