Mathematical Theory of Computation (2003)

by Zohar Manna