Computability theory: concepts and applications - Dunne, Paul E. (Ellis Horwood Ltd. Publ, 1991)