Switching and finite automata theory. - Kohavi, Zvi (McGraw-Hill computer science series, 1970)