Computability Theory by S. Barry Cooper & S.B. Cooper