Algebraic Recursion Theory
ISBN-13: 9780470207253