Computability Complexity and Languages, 2nd edition - Martin Davis (Elsevier, 1994)