Introduction to computability - Hennie, Fred (Addison-Wesley Publishing, 1977)