Mathematical Theory of Computation (1974)

by Z Manna