Elements of the theory of computation by Harry R. Lewis