Lewis, H. R. Elements of the theory of Computation - 2nd ed. - New Jersey Prentice Hall 1998 - ix, 361p. ISBN: 0-13-262478-8