Computability Theory : - Dunne, Paul E. (Computers and their applications, 1991)