Elements of the theory of computation - Papadimitriou Christos H. (NA, 1998)