Computability theory : concepts and applications /
Dunne, Paul E.
New York ; London : Ellis Horwood,
1991.