Title: Theory of computation
First published: 1996
Subjects: Machine theory
LC classification: QA267 .H45 1996