Mathematics Foundations of Computability - Pogorzelski (2003)