https://intlibrary.ir/download/a-blend-of-methods-of-recursion-theory-and-topolog-37725/