Computability, Complexity, Logic by Egon Borger & E. B