Elements of the theory of computation - Lewis Harry R; Christos H. Papadimitriou