Book

Artificial and Mathematical Theory of Computation

by Vladimir Lifschitz