Elements of tyhe theory of computation - Lewis Harry R.; Papadimitriou Christos H. (1998)