Books in Mathematical Theory of Computation