The Theory of Computation (Harper & Row Computer Science and Technology Series)