Title: Theories of computability
First published: 1997
Subjects: Machine theory, Automates
LC classification: QA267 .P553 1997