Elements of The Theory of Computation - LEWIS, Harry R. (Prentice-Hall International, Inc., 1998)