Computability : a mathematical sketchbook - Bridges, D. S. (Springer-Verlag, 1994)