Title: The complexity of decision problems in automata theory and logic
First published: 1974
Subjects: Turing machines, Sequential machine theory
LC classification: QA267.5S4 S8