Introduction to computability - Hennie, Fred (Addison-Wesley series in computer science and information processing)