Title: Logic, automata, and algorithms
Subjects: Sequential machine theory, Algorithms, Switching theory