Switching and finite automata theory - Kohavi, Zvi (New York : McGraw-Hill Book Co., 1978)