Elements of the theory of computation - Lewis, Harry R.; Papadimitriou, Christos H., 1949- (Prentice-Hall, 1998)