Eitan M. Gurari

An Introduction To The Theory of Computation - New York CRC 1989 - 314