Computability by Douglas S. Bridges