Introduction to computability. - Hennie, Frederick C. (Addison-Wesley Pub., 1977)