Element of the theory of computation - LEWIS, Harry R. (Prentice Hall, 1998)