Elements of the theory of computation - Lewis, Harry R. (Prentice-Hall Inc, 1981)