Title: Theory of computation
First published: 1974
Subjects: Recursive functions, Sequential machine theory, Programming languages (Electronic computers), Computable functions
LC classification: QA267.5.S4 B68