Introduction to computability - Hennie, Frederick C. (Addison-Wesley series in computer science and information processing, 1977)