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