Programs, machines, and computation : an introduction to the theory of computing - Clark, K. L. (McGraw-Hill, 1976)