SIPSER(M)

THEORY OF COMPUTATION - CENGAGE 2007 - 346