Elements of the theory of computation - Lewis, Harry R. (Prentice-Hall ; Pearson education Asia, 1998)