Elements of the theory of computation - Lewis (Prentice Hall, 1981)