Title: Finite transition systems
First published: 1994
Subjects: Sequential machine theory
LC classification: QA267.5 .A7613 1994