Elements of the theory of computation - Lewis, Harry R. (Prentice-Hall International, 1998)