Title: Synthesis of digital automata
Subjects: Machine theory