Soare, Robert I Turing computability: Theory and applications - Berlin Springer 2016 Dewey Class. No.: 511.352 / SOA.T