Programs, machines, and computation An introduction to the theory of computing - Clark, Keith L.; Cowell, Don (McGraw-Hill, 1976)