Computability: A Mathematical Sketchbook - Bridges, Douglas S. (Springer-Verlag, 1994)