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

by F C Hennie