Computability: Turing, Gödel, Church, and Beyond - Copeland (IEEE, 2003)